Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Tom Schrijvers
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
35
Resultaten
2019
Notation3 as the unifying logic for the semantic web
Dörthe Arndt
Erik Mannens
Ruben Verborgh
Tom Schrijvers
Proefschrift
2019
2016
Tabling as a Library with Delimited Control
Benoit Desouter
Marko van Dooren
Tom Schrijvers
Alexander Vandenbroucke
C1
Conferentie
2016
Tabling with sound answer subsumption
Alexander Vandenbroucke
Maciej Pirog
Benoit Desouter
Tom Schrijvers
A1
Artikel in een tijdschrift
in
THEORY AND PRACTICE OF LOGIC PROGRAMMING
2016
Towards flexible goal-oriented logic programming
Benoit Desouter
Tom Schrijvers
Marko van Dooren
Proefschrift
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
Conferentie
2015
Tabling as a library with delimited control
Benoit Desouter
Marko van Dooren
Tom Schrijvers
A1
Artikel in een tijdschrift
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
Conferentie
2014
TOR: modular search with hookable disjunction
Tom Schrijvers
Bart Demoen
Markus Triska
Benoit Desouter
A1
Artikel in een tijdschrift
in
SCIENCE OF COMPUTER PROGRAMMING
2014
2013
Delimited continuations for Prolog
Tom Schrijvers
Bart Demoen
Benoit Desouter
Jan Wielemaker
A1
Artikel in een tijdschrift
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
Verslag
2013
Generic datatypes a la carte
Steven Keuchel
Tom Schrijvers
C1
Conferentie
2013
Integrating Datalog and Constraint Solving
Benoit Desouter
Tom Schrijvers
C1
Conferentie
2013
Meta-theory à la carte
Benjamin Delaware
Bruno CdS Oliveira
Tom Schrijvers
A1
Artikel in een tijdschrift
in
ACM SIGPLAN NOTICES
2013
Meta-theory à la carte
Benjamin Delaware
Bruno CdS Oliveira
Tom Schrijvers
C1
Conferentie
2013
Modular monadic meta-theory
Benjamin Delaware
Steven Keuchel
Tom Schrijvers
Bruno CdS Oliveira
A1
Artikel in een tijdschrift
in
ACM SIGPLAN NOTICES
2013
Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter J Stuckey
A1
Artikel in een tijdschrift
in
CONSTRAINTS
2013
Tor: modular search with hookable disjunction
Benoit Desouter
Tom Schrijvers
Nieuwsartikel
2013
Understanding idiomatic traversals backwards and forwards
Richard Bird
Jeremy Gibbons
Stefan Mehner
Janis Voigtländer
Tom Schrijvers
A1
Artikel in een tijdschrift
in
ACM SIGPLAN NOTICES
2013
2012
Functional and logic programming
Boekeditor
2012
MRI : modular reasoning about interference in incremental programming
Bruno CdS Oliveira
Tom Schrijvers
William Cook
A1
Artikel in een tijdschrift
in
JOURNAL OF FUNCTIONAL PROGRAMMING
2012
Optimizing inequality joins in Datalog with approximated constraint propagation
Dario Campagna
Beata Sarna-Starosta
Tom Schrijvers
C1
Conferentie
2012
SWI-Prolog
Jan Wielemaker
Tom Schrijvers
Markus Triska
Torbjörn Lager
A1
Artikel in een tijdschrift
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
Conferentie
2012
The implicit calculus: a new foundation for generic programming
Bruno CdS Oliveira
Tom Schrijvers
Wontae Choi
Wonchan Lee
Kwangkeun Yi
A1
Artikel in een tijdschrift
in
ACM SIGPLAN NOTICES
2012
Tor: extensible search with hookable disjunction
Tom Schrijvers
Markus Triska
Bart Demoen
C1
Conferentie
2012
2011
Abstract interpretation
Tom Schrijvers
Hoofdstuk in een boek
in
Constraint handling rules : compilation, execution, and analysis
2011
Approximating constraint propagation in Datalog
Dario Campagna
Beata Sarna-Starosta
Tom Schrijvers
C1
Conferentie
2011
Functional programming abstractions for CP modeling
Pieter Wuille
Bart Demoen
Tom Schrijvers
Proefschrift
2011
Memoizing a monadic mixin DSL
Pieter Wuille
Tom Schrijvers
Horst Samulowitz
Guido Tack
Peter Stuckey
P1
Conferentie
2011
Monads, zippers and views: virtualizing the monad stack
Tom Schrijvers
Bruno C de S Oliveira
A1
Artikel in een tijdschrift
in
ACM SIGPLAN NOTICES
2011
OUTSIDEIN(X) : modular type inference with local assumptions
Dimitrios Vytiniotis
Simon Peyton Jones
Tom Schrijvers
Martin Sulzmann
A1
Artikel in een tijdschrift
in
JOURNAL OF FUNCTIONAL PROGRAMMING
2011
Parameterized models for on-line and off-line use
Pieter Wuille
Tom Schrijvers
C1
Conferentie
2011
Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter Stuckey
C1
Conferentie
2011
Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter J Stuckey
C1
Conferentie
2011
The K.U.Leuven CHR system
Tom Schrijvers
Hoofdstuk in een boek
in
Constraint handling rules : compilation, execution, and analysis
2011