Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: keyword exact "type system" Add to list Conference Paper C1 The implicit calculus: a new foundation for generic programming Bruno CdS Oliveira, Tom Schrijvers (UGent) , Wontae Choi, Wonchan Lee and Kwangkeun Li (2012) PLDI 2012 : proceedings of the 33rd ACM SIGPLAN conference on programming language design and implementation. Add to list Journal Article A1 OUTSIDEIN(X) : modular type inference with local assumptions Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers (UGent) and Martin Sulzmann (2011) JOURNAL OF FUNCTIONAL PROGRAMMING. 21(4-5). p.333-412