Onderzoeker
Tom Schrijvers
- Disciplines:Programmeertalen die niet elders zijn geclassificeerd, Programmeertalen en -technologieën
Affiliaties
- Vakgroep Toegepaste Wiskunde, Informatica en Statistiek (Departement)
Lid
Vanaf1 okt 2010 → 30 sep 2018
Projecten
1 - 4 of 4
- Vervulbaarheid en modelgeneratie in oneindige ruimtesVanaf1 jan 2015 → 31 dec 2020Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Redeneren over coroutinesVanaf1 jan 2014 → 31 dec 2019Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Modulaire behandeling van effecten in puur functionele programma's en modellenVanaf1 jan 2012 → 31 dec 2017Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Constraint Programming voor geavandeerde joins in regelgebaseerde programmeertalenVanaf1 jan 2012 → 31 okt 2016Financiering: BOF - Nieuwe Onderzoeksinitiatieven
Publicaties
1 - 10 van 30
- Tabling as a Library with Delimited Control(2016)
Auteurs: Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
Aantal pagina's: 1 - Tabling with sound answer subsumption(2016)
Auteurs: Alexander Vandenbroucke, Maciej Pirog, Benoit Desouter, Tom Schrijvers
Pagina's: 933 - 949 - GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness(2015)
Auteurs: Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon Peyton Jones
Pagina's: 424 - 436 - Tabling as a library with delimited control(2015)
Auteurs: Benoit Desouter, Marko van Dooren, Tom Schrijvers, Thomas Eiter, Francesca Toni
Pagina's: 419 - 433 - Heuristics entwined with handlers combined: from functional specification to logic programming implementation(2014)
Auteurs: Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Aantal pagina's: 1 - TOR: modular search with hookable disjunction(2014)
Auteurs: Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
Pagina's: 101 - 120 - Integrating Datalog and Constraint Solving(2013)
Auteurs: Benoit Desouter, Tom Schrijvers, Ricardo Rocha, Christian Theil Have
Pagina's: 63 - 73 - Meta-theory à la carte(2013)
Auteurs: Benjamin Delaware, Bruno CdS Oliveira, Tom Schrijvers
Pagina's: 208 - 217 - Search combinators(2013)
Auteurs: Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J Stuckey
Pagina's: 269 - 305 - Delimited continuations for Prolog(2013)
Auteurs: Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
Pagina's: 533 - 546