Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions News feed Embed this list Save this search Mark all Export Your filters: cql: parent exact "JOURNAL OF FUNCTIONAL PROGRAMMING" Mark journalArticle A1 MRI: modular reasoning about interference in incremental programming Bruno CdS Oliveira, Tom Schrijvers (UGent) and William Cook (2012) JOURNAL OF FUNCTIONAL PROGRAMMING. 22(6). p.797-852 Mark journalArticle 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