Подписаться
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
3292007
Type inference with constrained types
M Odersky, M Sulzmann, M Wehr
Theory and practice of object systems 5 (1), 35-55, 1999
3251999
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
2052008
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
1672011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1402009
Interactive type debugging in Haskell
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 72-83, 2003
1092003
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
1042007
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
Improving type error diagnosis
PJ Stuckey, M Sulzmann, J Wazny
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 80-91, 2004
682004
A theory of overloading
PJ Stuckey, M Sulzmann
ACM SIGPLAN Notices 37 (9), 167-178, 2002
672002
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
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
501999
Resource usage verification
K Marriott, PJ Stuckey, M Sulzmann
Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003
492003
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
402014
An implementation of subtyping among regular expression types
KZM Lu, M Sulzmann
Asian Symposium on Programming Languages and Systems, 57-73, 2004
352004
Actors with multi-headed message receive patterns
M Sulzmann, ESL Lam, P Van Weert
Coordination Models and Languages: 10th International Conference …, 2008
342008
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20