AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Martin Sulzmann

Martin Sulzmann

Hochschule Karlsruhe - Karlsruhe / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1759516
Karlsruhe University of Applied Sciences
person_outline Martin Sulzmann's MOST POPULAR ARTICLES
1-) System F with type equality coercions Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007
2-) Type inference with constrained types Theory and practice of object systems 5 (1), 35-55, 1999
3-) Type checking with open type functions Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
4-) OutsideIn (X) Modular type inference with local assumptions Journal of functional programming 21 (4-5), 333-412, 2011
5-) Complete and decidable type inference for GADTs ACM Sigplan Notices 44 (9), 341-352, 2009