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: parent exact "JOURNAL OF FUNCTIONAL PROGRAMMING" Add to list Journal Article 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 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