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: author="Vytiniotis, Dimitrios" or (type any "bookEditor issueEditor" and editor="Vytiniotis, Dimi... Add to list Conference Paper P1 GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness Georgios Karachalias (UGent) , Tom Schrijvers (UGent) , Dimitrios Vytiniotis and Simon Peyton Jones (2015) PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15). p.424-436 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