Прати
Martin Sulzmann
Martin Sulzmann
Professor of Computer Science, Karlsruhe University of Applied Sciences
Верификована је имејл адреса на h-ka.de - Почетна страница
Наслов
Навело
Навело
Година
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
3312007
Type inference with constrained types
M Odersky, M Sulzmann, M Wehr
Theory and practice of object systems 5 (1), 35-55, 1999
3231999
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
2072008
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
1622011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1412009
Interactive type debugging in Haskell
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003
1062003
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
952005
A general framework for Hindley/Milner type systems with constraints
MF Sulzmann
Yale University, 2000
752000
Improving type error diagnosis
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004
692004
A theory of overloading
PJ Stuckey, M Sulzmann
ACM SIGPLAN Notices 37 (9), 167-178, 2002
662002
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
International Conference on Logic Programming, 224-239, 2007
572007
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
POSIX regular expression parsing with derivatives
M Sulzmann, KZM Lu
International Symposium on Functional and Logic Programming, 203-220, 2014
402014
A framework for extended algebraic data types
M Sulzmann, J Wazny, PJ Stuckey
International Symposium on Functional and Logic Programming, 47-64, 2006
402006
An implementation of subtyping among regular expression types
KZM Lu, M Sulzmann
Asian Symposium on Programming Languages and Systems, 57-73, 2004
362004
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
352007
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20