Seguir
Martin Sulzmann
Martin Sulzmann
Professor of Computer Science, Karlsruhe University of Applied Sciences
Dirección de correo verificada de h-ka.de - Página principal
Título
Citado por
Citado por
Año
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
3252007
Type inference with constrained types
M Odersky, M Sulzmann, M Wehr
Theory and practice of object systems 5 (1), 35-55, 1999
3201999
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
2012008
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
1602011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1392009
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
1022007
A theory of overloading
PJ Stuckey, M Sulzmann
Acm transactions on programming languages and systems (toplas) 27 (6), 1216-1269, 2005
932005
A general framework for Hindley/Milner type systems with constraints
MF Sulzmann
Yale University, 2000
762000
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
621996
Observable confluence for constraint handling rules
GJ Duck, PJ Stuckey, M Sulzmann
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
532007
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
532004
Resource usage verification
K Marriott, PJ Stuckey, M Sulzmann
Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003
492003
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
491999
A framework for extended algebraic data types
M Sulzmann, J Wazny, PJ Stuckey
International Symposium on Functional and Logic Programming, 47-64, 2006
412006
POSIX regular expression parsing with derivatives
M Sulzmann, KZM Lu
International Symposium on Functional and Logic Programming, 203-220, 2014
382014
An implementation of subtyping among regular expression types
KZM Lu, M Sulzmann
Asian Symposium on Programming Languages and Systems, 57-73, 2004
352004
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20