| 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 | 329 | 2007 |
| Type inference with constrained types M Odersky, M Sulzmann, M Wehr Theory and practice of object systems 5 (1), 35-55, 1999 | 325 | 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 | 205 | 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 | 167 | 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 | 140 | 2009 |
| Interactive type debugging in Haskell PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003 | 109 | 2003 |
| 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 | 104 | 2007 |
| A theory of overloading PJ Stuckey, M Sulzmann Acm transactions on programming languages and systems (toplas) 27 (6), 1216-1269, 2005 | 93 | 2005 |
| A general framework for Hindley/Milner type systems with constraints MF Sulzmann Yale University, 2000 | 76 | 2000 |
| Improving type error diagnosis PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004 | 68 | 2004 |
| A theory of overloading PJ Stuckey, M Sulzmann ACM SIGPLAN Notices 37 (9), 167-178, 2002 | 67 | 2002 |
| The tableau-based theorem prover 3 T A P Version 4.0 B Beckert, R Hähnle, P Oel, M Sulzmann Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996 | 62 | 1996 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 53 | 2007 |
| Sound and decidable type inference for functional dependencies GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann Programming Languages and Systems: 13th European Symposium on Programming …, 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 | 50 | 1999 |
| Resource usage verification K Marriott, PJ Stuckey, M Sulzmann Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003 | 49 | 2003 |
| A framework for extended algebraic data types M Sulzmann, J Wazny, PJ Stuckey International Symposium on Functional and Logic Programming, 47-64, 2006 | 41 | 2006 |
| POSIX regular expression parsing with derivatives M Sulzmann, KZM Lu International Symposium on Functional and Logic Programming, 203-220, 2014 | 40 | 2014 |
| An implementation of subtyping among regular expression types KZM Lu, M Sulzmann Asian Symposium on Programming Languages and Systems, 57-73, 2004 | 35 | 2004 |
| Actors with multi-headed message receive patterns M Sulzmann, ESL Lam, P Van Weert Coordination Models and Languages: 10th International Conference …, 2008 | 34 | 2008 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
