Academic Bibliography

Search 200 years of publications by Ghent University researchers.

prof. Tom Schrijvers

No current affiliation with UGent

Show Sort by

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
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
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
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.
Add to list
- Journal Article
- A1
- open access
TOR: modular search with hookable disjunction

Tom Schrijvers (UGent) , Bart Demoen, Markus Triska and Benoit Desouter (UGent)

(2014) SCIENCE OF COMPUTER PROGRAMMING. 84. p.101-120
Add to list
Modular monadic meta-theory

Benjamin Delaware, Steven Keuchel (UGent) , Tom Schrijvers (UGent) and Bruno CdS Oliveira

(2013) ACM SIGPLAN NOTICES. 48(9). p.319-330
Add to list
- Miscellaneous
- open access
Delimited continuations in Prolog: semantics, use, and implementation in the WAM

Tom Schrijvers (UGent) , Bart Demoen and Benoit Desouter (UGent)

(2013)
Add to list
- Conference Paper
- C1
- open access
Integrating Datalog and Constraint Solving

Benoit Desouter (UGent) and Tom Schrijvers (UGent)

(2013) CICLOPS 2013 : proceedings of the 13th international colloquium on implementation of constraint and logic programming systems. p.63-73
Add to list
- Journal Article
- A1
- open access
Delimited continuations for Prolog

Tom Schrijvers (UGent) , Bart Demoen, Benoit Desouter (UGent) and Jan Wielemaker

(2013) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 13(4-5). p.533-546

1
2
3
4

Next →