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 | 320 | 2007 |
Type inference with constrained types M Odersky, M Sulzmann, M Wehr Theory and practice of object systems 5 (1), 35-55, 1999 | 315 | 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 | 200 | 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 | 159 | 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 | 138 | 2009 |
Interactive type debugging in Haskell PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003 | 107 | 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 | 102 | 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 | 75 | 2000 |
A theory of overloading PJ Stuckey, M Sulzmann ACM SIGPLAN Notices 37 (9), 167-178, 2002 | 67 | 2002 |
Improving type error diagnosis PJ Stuckey, M Sulzmann, J Wazny Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004 | 66 | 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 | 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 |
Resource usage verification K Marriott, PJ Stuckey, M Sulzmann Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003 | 49 | 2003 |
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 |
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 | 37 | 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 |
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 |