Show 5 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 "haskell" cql: author exact 802000842623 or (type exact bookEditor and editor exact 802000842623) 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 Understanding idiomatic traversals backwards and forwards Richard Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer and Tom Schrijvers (UGent) (2013) ACM SIGPLAN NOTICES. 48(12). p.25-36 Add to list Conference Paper C1 Generic datatypes a la carte Steven Keuchel (UGent) and Tom Schrijvers (UGent) (2013) Generic Programming, 9th ACM SIGPLAN workshop, Proceedings. 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 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 1 2 Next →