Concepedia

Martin Sulzmann

MS

27

Publications

1.4K

Citations

18

H-Index

1999

Active since

Affiliations

National University of Singapore(Current)

Microsoft Research (United Kingdom)

The University of Melbourne

Microsoft (United States)

KU Leuven

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

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationSoftware EngineeringParallel Computing

Publications per year

1999–2018

27

Publications

27

System F with type equality coercions

Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones et al. · 2007 · 236 citations

Explicit Witnesses, System F, Engineering +14

Type inference with constrained types

Martin Odersky, Martin Sulzmann, Martin Wehr · Theory and Practice of Object Systems · 1999 · 218 citations · Full text

Engineering, Generic Programming, Automated Reasoning +10

<scp>OutsideIn(X)</scp>Modular type inference with local assumptions

Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers et al. · Journal of Functional Programming · 2011 · 131 citations · Full text

Engineering, Automated Reasoning, Program Analysis +11

Type checking with open type functions

Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty et al. · ACM SIGPLAN Notices · 2008 · 108 citations · Full text

Engineering, Program Analysis, Automated Reasoning +13

Complete and decidable type inference for GADTs

Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann et al. · 2009 · 104 citations

Modular Type Inference, Engineering, Generic Programming +13

Rows per page

1–5 of 27