| System F with type equality coercions M Sulzmann, MMT Chakravarty, SP Jones, K Donnelly Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007 | 280 | 2007 |
| Type inference with constrained types M Odersky, M Sulzmann, M Wehr Theory and practice of object systems 5 (1), 35-55, 1999 | 277 | 1999 |
| Type checking with open type functions T Schrijvers, S Peyton Jones, M Chakravarty, M Sulzmann Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 177 | 2008 |
| OutsideIn (X) Modular type inference with local assumptions D Vytiniotis, SP Jones, T Schrijvers, M Sulzmann Journal of functional programming 21 (4-5), 333-412, 2011 | 136 | 2011 |
| Complete and decidable type inference for GADTs T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis ACM Sigplan Notices 44 (9), 341-352, 2009 | 128 | 2009 |
| Understanding functional dependencies via constraint handling rules M Sulzmann, GJ Duck, S Peyton-Jones, PJ Stuckey Journal of functional programming 17 (1), 83-129, 2007 | 99 | 2007 |
| A theory of overloading PJ Stuckey, M Sulzmann Acm transactions on programming languages and systems (toplas) 27 (6), 1216-1269, 2005 | 95 | 2005 |
| Interactive type debugging in Haskell PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003 | 91 | 2003 |
| A general framework for Hindley/Milner type systems with constraints MF Sulzmann Yale University, 2000 | 71 | 2000 |
| A theory of overloading PJ Stuckey, M Sulzmann ACM SIGPLAN Notices 37 (9), 167-178, 2002 | 61 | 2002 |
| Improving type error diagnosis PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004 | 60 | 2004 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann International Conference on Logic Programming, 224-239, 2007 | 55 | 2007 |
| The tableau-based theorem prover 3 T A P Version 4.0 B Beckert, R Hähnle, P Oel, M Sulzmann International Conference on Automated Deduction, 303-307, 1996 | 55 | 1996 |
| Sound and decidable type inference for functional dependencies GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann European Symposium on Programming, 49-63, 2004 | 53 | 2004 |
| Hindley/Milner style type systems in constraint form M Sulzmann, M Müller, C Zenger Res. Rep. ACRC-99-009, University of South Australia, School of Computer and …, 1999 | 46 | 1999 |
| Resource usage verification K Marriott, PJ Stuckey, M Sulzmann Asian Symposium on Programming Languages and Systems, 212-229, 2003 | 45 | 2003 |
| A framework for extended algebraic data types M Sulzmann, J Wazny, PJ Stuckey International Symposium on Functional and Logic Programming, 47-64, 2006 | 38 | 2006 |
| Actors with multi-headed message receive patterns M Sulzmann, ESL Lam, P Van Weert International Conference on Coordination Languages and Models, 315-330, 2008 | 33 | 2008 |
| A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory ESL Lam, M Sulzmann Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007 | 33 | 2007 |
| An implementation of subtyping among regular expression types KZM Lu, M Sulzmann ASIAN Symposium on Programming Languages and Systems, 57-73, 2004 | 31 | 2004 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
