prof. Tom Schrijvers No current affiliation with UGent 1 – 5 of 32 publications Show 5 5 10 15 20 50 100 250 Sort by year (new to old) Actions Filter publications Download search results Subscribe to news feed Add to list Journal Article A1 open access Tabling with sound answer subsumption Alexander Vandenbroucke, Maciej Pirog, Benoit Desouter (UGent) and Tom Schrijvers (UGent) (2016) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 16. p.933-949 Add to list Conference Paper C1 Tabling as a Library with Delimited Control Benoit Desouter (UGent) , Marko van Dooren (UGent) , Tom Schrijvers (UGent) and Alexander Vandenbroucke (2016) Artificial Intelligence, 25th International joint conference, Proceedings. 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 open access Tabling as a library with delimited control Benoit Desouter (UGent) , Marko van Dooren (UGent) and Tom Schrijvers (UGent) (2015) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 15(4-5). p.419-433 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. 1 2 3 4 … 6 7 Next →