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 "monads" cql: author exact 802000842623 or (type exact bookEditor and editor exact 802000842623) Add to list Conference Paper C1 Heuristics entwined with handlers combined: from functional specification to logic programming implementation Tom Schrijvers (UGent) , Nicolas Wu, Benoit Desouter (UGent) and Bart Demoen (2014) PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming. 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 Journal Article A1 Modular monadic meta-theory Benjamin Delaware, Steven Keuchel (UGent) , Tom Schrijvers (UGent) and Bruno CdS Oliveira (2013) ACM SIGPLAN NOTICES. 48(9). p.319-330 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 Conference Paper C1 open access Parameterized models for on-line and off-line use Pieter Wuille and Tom Schrijvers (UGent) (2011) Lecture Notes in Computer Science. 6559. p.101-118 1 2 Next →