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 classes" 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 The implicit calculus: a new foundation for generic programming Bruno CdS Oliveira, Tom Schrijvers (UGent) , Wontae Choi, Wonchan Lee and Kwangkeun Yi (2012) ACM SIGPLAN NOTICES. 47(6). p.35-44 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