Martin Sulzmann
Martin Sulzmann
Professor of Computer Science, Karlsruhe University of Applied Sciences
Verified email at hs-karlsruhe.de - Homepage
Title
Cited by
Cited by
Year
Type inference with constrained types
M Odersky, M Sulzmann, M Wehr
Theory and practice of object systems 5 (1), 35-55, 1999
2661999
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
2602007
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
1712008
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1282009
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
1182011
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
972007
A theory of overloading
PJ Stuckey, M Sulzmann
Acm transactions on programming languages and systems (toplas) 27 (6), 1216-1269, 2005
942005
Interactive type debugging in Haskell
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003
852003
A general framework for Hindley/Milner type systems with constraints.
MF Sulzmann
702001
A theory of overloading
PJ Stuckey, M Sulzmann
ACM SIGPLAN Notices 37 (9), 167-178, 2002
642002
Observable confluence for constraint handling rules
GJ Duck, PJ Stuckey, M Sulzmann
International Conference on Logic Programming, 224-239, 2007
582007
Improving type error diagnosis
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004
542004
Sound and decidable type inference for functional dependencies
GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann
European Symposium on Programming, 49-63, 2004
532004
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
521996
Resource usage verification
K Marriott, PJ Stuckey, M Sulzmann
Asian Symposium on Programming Languages and Systems, 212-229, 2003
432003
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
421999
A framework for extended algebraic data types
M Sulzmann, J Wazny, PJ Stuckey
International Symposium on Functional and Logic Programming, 47-64, 2006
382006
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
332007
An implementation of subtyping among regular expression types
KZM Lu, M Sulzmann
ASIAN Symposium on Programming Languages and Systems, 57-73, 2004
312004
Actors with multi-headed message receive patterns
M Sulzmann, ESL Lam, P Van Weert
International Conference on Coordination Languages and Models, 315-330, 2008
302008
The system can't perform the operation now. Try again later.
Articles 1–20