Researcher
Tom Schrijvers
- Disciplines:Programming languages not elsewhere classified, Programming languages and technologies
Affiliations
- Department of Applied Mathematics, Computer Science and Statistics (Department)
Member
From1 Oct 2010 → 30 Sep 2018
Projects
1 - 4 of 4
- Satisfiability and model generation in infinite spaceFrom1 Jan 2015 → 31 Dec 2020Funding: FWO research project (including WEAVE projects)
- Reasoning about Co-RoutinesFrom1 Jan 2014 → 31 Dec 2019Funding: FWO research project (including WEAVE projects)
- Modular handling of effects in purely functional programs and modelsFrom1 Jan 2012 → 31 Dec 2017Funding: FWO research project (including WEAVE projects)
- Constraint Programmign for advanced joins in rule-based programming languagesFrom1 Jan 2012 → 31 Oct 2016Funding: BOF - Doctoral projects
Publications
1 - 10 of 30
- Tabling as a Library with Delimited Control(2016)
Authors: Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
Number of pages: 1 - Tabling with sound answer subsumption(2016)
Authors: Alexander Vandenbroucke, Maciej Pirog, Benoit Desouter, Tom Schrijvers
Pages: 933 - 949 - GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness(2015)
Authors: Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon Peyton Jones
Pages: 424 - 436 - Tabling as a library with delimited control(2015)
Authors: Benoit Desouter, Marko van Dooren, Tom Schrijvers, Thomas Eiter, Francesca Toni
Pages: 419 - 433 - Heuristics entwined with handlers combined: from functional specification to logic programming implementation(2014)
Authors: Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Number of pages: 1 - TOR: modular search with hookable disjunction(2014)
Authors: Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
Pages: 101 - 120 - Integrating Datalog and Constraint Solving(2013)
Authors: Benoit Desouter, Tom Schrijvers, Ricardo Rocha, Christian Theil Have
Pages: 63 - 73 - Delimited continuations for Prolog(2013)
Authors: Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
Pages: 533 - 546 - Meta-theory à la carte(2013)
Authors: Benjamin Delaware, Bruno CdS Oliveira, Tom Schrijvers
Pages: 208 - 217 - Search combinators(2013)
Authors: Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J Stuckey
Pages: 269 - 305