Tom Schrijvers

SWI-Prolog

Jan Wielemaker, Tom Schrijvers, Markus Triska et al. · Theory and Practice of Logic Programming · 2011 · 363 citations · Full text

Engineering, Software Engineering, Semantics +16

<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

Type checking with open type functions

Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty et al. · 2008 · 92 citations

Engineering, Program Analysis, Automated Reasoning +13