| 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 | 307 | 2007 |
| Type inference with constrained types M Odersky, M Sulzmann, M Wehr Theory and practice of object systems 5 (1), 35-55, 1999 | 296 | 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 | 195 | 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 | 152 | 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 | 139 | 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 | 103 | 2007 |
| Interactive type debugging in Haskell PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003 | 98 | 2003 |
| A theory of overloading PJ Stuckey, M Sulzmann Acm transactions on programming languages and systems (toplas) 27 (6), 1216-1269, 2005 | 92 | 2005 |
| A general framework for Hindley/Milner type systems with constraints MF Sulzmann Yale University, 2000 | 75 | 2000 |
| A theory of overloading PJ Stuckey, M Sulzmann ACM SIGPLAN Notices 37 (9), 167-178, 2002 | 65 | 2002 |
| Improving type error diagnosis PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004 | 63 | 2004 |
| 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 | 60 | 1996 |
| Observable confluence for constraint handling rules GJ Duck, PJ Stuckey, M Sulzmann Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 55 | 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 | 48 | 1999 |
| Resource usage verification K Marriott, PJ Stuckey, M Sulzmann Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003 | 47 | 2003 |
| A framework for extended algebraic data types M Sulzmann, J Wazny, PJ Stuckey Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006 | 39 | 2006 |
| Actors with multi-headed message receive patterns M Sulzmann, ESL Lam, P Van Weert Coordination Models and Languages: 10th International Conference …, 2008 | 34 | 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 |
| POSIX regular expression parsing with derivatives M Sulzmann, KZM Lu Functional and Logic Programming: 12th International Symposium, FLOPS 2014 …, 2014 | 31 | 2014 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
