Martin Sulzmann - Concepedia

Author

Martin Sulzmann

National University of Singapore ORCID

Also Known As

Gallagher, John P., MARTIN SULZMANN, Martin Sulzmann, Sulzmann, Martin

111

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

National University of Singapore Microsoft Research (United Kingdom)The University of Melbourne Microsoft (United States)KU Leuven

About

Martin Sulzmann is an author at National University of Singapore specializing in formal methods, computer science, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	23	1.4K
2	Computer Science	15	22	1.3K
3	Computer Engineering	4	4	57
4	Language Studies	2	2	311
5	Management	1	1	18

Martin Sulzmann

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
System F with type equality coercions Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Explicit WitnessesSystem FEngineeringAutomated ReasoningType Theory	2007	236
Type inference with constrained types Martin Odersky, Martin Sulzmann, Martin Wehr Theory and Practice of Object Systems EngineeringGeneric ProgrammingAutomated ReasoningType TheoryPolymorphism (Computer Science)	1999	218
<scp>OutsideIn(X)</scp>Modular type inference with local assumptions Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers, Journal of Functional Programming EngineeringAutomated ReasoningProgram AnalysisType FamiliesPolymorphism (Computer Science)	2011	131
Type checking with open type functions Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty, ACM SIGPLAN Notices EngineeringProgram AnalysisAutomated ReasoningOpen Type-level FunctionsVerification	2008	108
Complete and decidable type inference for GADTs Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann, Modular Type InferenceEngineeringGeneric ProgrammingAutomated ReasoningProgram Analysis	2009	104
Type checking with open type functions Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty, EngineeringProgram AnalysisAutomated ReasoningOpen Type-level FunctionsVerification	2008	92
Understanding functional dependencies via constraint handling rules Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, Journal of Functional Programming EngineeringType TheoryConstraintsNew ApplicationsSemantics	2006	75
Interactive type debugging in Haskell Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny EngineeringProgrammable Type ExtensionsType TheoryHaskell ProgramsVerification	2003	75
A theory of overloading Peter J. Stuckey, Martin Sulzmann ACM Transactions on Programming Languages and Systems Mathematical ProgrammingComputational Complexity TheoryEngineeringType TheorySoftware Engineering	2005	74
Improving type error diagnosis Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny Ambiguity Error ReportingEngineeringType TheoryVerificationDiagnosis	2004	44

Page 1