Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Tom Schrijvers
Profile
Projects
Publications
Activities
Awards & Distinctions
35
Results
2019
Notation3 as the unifying logic for the semantic web
Dörthe Arndt
Erik Mannens
Ruben Verborgh
Tom Schrijvers
Dissertation
2019
2016
Tabling as a Library with Delimited Control
Benoit Desouter
Marko van Dooren
Tom Schrijvers
Alexander Vandenbroucke
C1
Conference
2016
Tabling with sound answer subsumption
Alexander Vandenbroucke
Maciej Pirog
Benoit Desouter
Tom Schrijvers
A1
Journal Article
in
THEORY AND PRACTICE OF LOGIC PROGRAMMING
2016
Towards flexible goal-oriented logic programming
Benoit Desouter
Tom Schrijvers
Marko van Dooren
Dissertation
2016
2015
GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness
Georgios Karachalias
Tom Schrijvers
Dimitrios Vytiniotis
Simon Peyton Jones
P1
Conference
2015
Tabling as a library with delimited control
Benoit Desouter
Marko van Dooren
Tom Schrijvers
A1
Journal Article
in
THEORY AND PRACTICE OF LOGIC PROGRAMMING
2015
2014
Heuristics entwined with handlers combined: from functional specification to logic programming implementation
Tom Schrijvers
Nicolas Wu
Benoit Desouter
Bart Demoen
C1
Conference
2014
TOR: modular search with hookable disjunction
Tom Schrijvers
Bart Demoen
Markus Triska
Benoit Desouter
A1
Journal Article
in
SCIENCE OF COMPUTER PROGRAMMING
2014
2013
Delimited continuations for Prolog
Tom Schrijvers
Bart Demoen
Benoit Desouter
Jan Wielemaker
A1
Journal Article
in
THEORY AND PRACTICE OF LOGIC PROGRAMMING
2013
Delimited continuations in Prolog: semantics, use, and implementation in the WAM
Tom Schrijvers
Bart Demoen
Benoit Desouter
Report
2013
Generic datatypes a la carte
Steven Keuchel
Tom Schrijvers
C1
Conference
2013
Integrating Datalog and Constraint Solving
Benoit Desouter
Tom Schrijvers
C1
Conference
2013
Meta-theory à la carte
Benjamin Delaware
Bruno CdS Oliveira
Tom Schrijvers
C1
Conference
2013
Meta-theory à la carte
Benjamin Delaware
Bruno CdS Oliveira
Tom Schrijvers
A1
Journal Article
in
ACM SIGPLAN NOTICES
2013
Modular monadic meta-theory
Benjamin Delaware
Steven Keuchel
Tom Schrijvers
Bruno CdS Oliveira
A1
Journal Article
in
ACM SIGPLAN NOTICES
2013
Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter J Stuckey
A1
Journal Article
in
CONSTRAINTS
2013
Tor: modular search with hookable disjunction
Benoit Desouter
Tom Schrijvers
Newsarticle
2013
Understanding idiomatic traversals backwards and forwards
Richard Bird
Jeremy Gibbons
Stefan Mehner
Janis Voigtländer
Tom Schrijvers
A1
Journal Article
in
ACM SIGPLAN NOTICES
2013
2012
Functional and logic programming
Book editor
2012
MRI : modular reasoning about interference in incremental programming
Bruno CdS Oliveira
Tom Schrijvers
William Cook
A1
Journal Article
in
JOURNAL OF FUNCTIONAL PROGRAMMING
2012
Optimizing inequality joins in Datalog with approximated constraint propagation
Dario Campagna
Beata Sarna-Starosta
Tom Schrijvers
C1
Conference
2012
SWI-Prolog
Jan Wielemaker
Tom Schrijvers
Markus Triska
Torbjörn Lager
A1
Journal Article
in
THEORY AND PRACTICE OF LOGIC PROGRAMMING
2012
The implicit calculus: a new foundation for generic programming
Bruno CdS Oliveira
Tom Schrijvers
Wontae Choi
Wonchan Lee
Kwangkeun Li
C1
Conference
2012
The implicit calculus: a new foundation for generic programming
Bruno CdS Oliveira
Tom Schrijvers
Wontae Choi
Wonchan Lee
Kwangkeun Yi
A1
Journal Article
in
ACM SIGPLAN NOTICES
2012
Tor: extensible search with hookable disjunction
Tom Schrijvers
Markus Triska
Bart Demoen
C1
Conference
2012
2011
Abstract interpretation
Tom Schrijvers
Bookchapter
in
Constraint handling rules : compilation, execution, and analysis
2011
Approximating constraint propagation in Datalog
Dario Campagna
Beata Sarna-Starosta
Tom Schrijvers
C1
Conference
2011
Functional programming abstractions for CP modeling
Pieter Wuille
Bart Demoen
Tom Schrijvers
Dissertation
2011
Memoizing a monadic mixin DSL
Pieter Wuille
Tom Schrijvers
Horst Samulowitz
Guido Tack
Peter Stuckey
P1
Conference
2011
Monads, zippers and views: virtualizing the monad stack
Tom Schrijvers
Bruno C de S Oliveira
A1
Journal Article
in
ACM SIGPLAN NOTICES
2011
OUTSIDEIN(X) : modular type inference with local assumptions
Dimitrios Vytiniotis
Simon Peyton Jones
Tom Schrijvers
Martin Sulzmann
A1
Journal Article
in
JOURNAL OF FUNCTIONAL PROGRAMMING
2011
Parameterized models for on-line and off-line use
Pieter Wuille
Tom Schrijvers
C1
Conference
2011
Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter Stuckey
C1
Conference
2011
Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter J Stuckey
C1
Conference
2011
The K.U.Leuven CHR system
Tom Schrijvers
Bookchapter
in
Constraint handling rules : compilation, execution, and analysis
2011