Tom Schrijvers

SWI-Prolog

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

Computing, Computer Science, Compilers +8

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

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

Computing, Computer Science, Formal Methods +13

Type checking with open type functions

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

Computing, Computer Science, Formal Methods +10

Complete and decidable type inference for GADTs

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

Computing, Computer Science, Algorithms +14

Type checking with open type functions

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

Computing, Computer Science, Formal Methods +10