Follow
Martin Sulzmann
Martin Sulzmann
Professor of Computer Science, Karlsruhe University of Applied Sciences
Verified email at h-ka.de - Homepage
Title
Cited by
Cited by
Year
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
3192007
Type inference with constrained types
M Odersky, M Sulzmann, M Wehr
Theory and practice of object systems 5 (1), 35-55, 1999
3171999
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
1992008
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
1572011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1362009
Interactive type debugging in Haskell
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003
1072003
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
1052007
A theory of overloading
PJ Stuckey, M Sulzmann
Acm transactions on programming languages and systems (toplas) 27 (6), 1216-1269, 2005
982005
A general framework for Hindley/Milner type systems with constraints
MF Sulzmann
Yale University, 2000
772000
A theory of overloading
PJ Stuckey, M Sulzmann
ACM SIGPLAN Notices 37 (9), 167-178, 2002
672002
Improving type error diagnosis
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004
662004
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
601996
Observable confluence for constraint handling rules
GJ Duck, PJ Stuckey, M Sulzmann
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
552007
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
542004
Resource usage verification
K Marriott, PJ Stuckey, M Sulzmann
Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003
482003
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
481999
A framework for extended algebraic data types
M Sulzmann, J Wazny, PJ Stuckey
International Symposium on Functional and Logic Programming, 47-64, 2006
402006
POSIX regular expression parsing with derivatives
M Sulzmann, KZM Lu
International Symposium on Functional and Logic Programming, 203-220, 2014
362014
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
362007
An implementation of subtyping among regular expression types
KZM Lu, M Sulzmann
Asian Symposium on Programming Languages and Systems, 57-73, 2004
342004
The system can't perform the operation now. Try again later.
Articles 1–20