Tom Schrijvers

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search combinators. Constraints 18(2): 269-305 (2013)

Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers: Meta-theory à la carte. POPL 2013: 207-218

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook: MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22(6): 797-852 (2012)

Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager: SWI-Prolog. TPLP 12(1-2): 67-96 (2012)

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: An Introduction to Search Combinators. LOPSTR 2012: 2-16

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers: Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. PADL 2012: 108-122

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi: The implicit calculus: a new foundation for generic programming. PLDI 2012: 35-44

Tom Schrijvers, Markus Triska, Bart Demoen: Tor: extensible search with hookable disjunction. PPDP 2012: 103-114

Tom Schrijvers, Peter Thiemann (Eds.): Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7294, Springer 2012, isbn 978-3-642-29821-9

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CoRR abs/1203.1095 (2012)

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi: Extended Report: The Implicit Calculus. CoRR abs/1203.4499 (2012)

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann: OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21(4-5): 333-412 (2011)

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CP 2011: 774-788

Tom Schrijvers, Bruno C. d. S. Oliveira: Monads, zippers and views: virtualizing the monad stack. ICFP 2011: 32-44

Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey: Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers: Approximating Constraint Propagation in Datalog. CoRR abs/1112.3787 (2011)

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck: As time goes by: Constraint Handling Rules. TPLP 10(1): 1-47 (2010)

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook: EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120

Dominic A. Orchard, Tom Schrijvers: Haskell Type Constraints Unleashed. FLOPS 2010: 56-71

Tom Schrijvers, Alan Mycroft: Strictness Meets Data Flow. SAS 2010: 439-454

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers: Let should not be generalized. TLDI 2010: 39-50

Pieter Wuille, Tom Schrijvers: Parameterized Models for On-Line and Off-Line Use. WFLP 2010: 101-118

Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager: SWI-Prolog. CoRR abs/1011.5332 (2010)

Tom Schrijvers, Peter J. Stuckey, Philip Wadler: Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009)

Jon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2) (2009)

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis: Complete and decidable type inference for GADTs. ICFP 2009: 341-352

Beata Sarna-Starosta, Tom Schrijvers: Attributed Data for CHR Indexing. ICLP 2009: 357-371

Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe: A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR 2009: 22-36

François Degrave, Tom Schrijvers, Wim Vanhoof: Towards a Framework for Constraint-Based Test Case Generation. LOPSTR 2009: 128-142

Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier: Type invariants for Haskell. PLPV 2009: 39-48

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck: As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007. CoRR abs/0906.4474 (2009)

Tom Schrijvers, Thom W. Frühwirth (Eds.): Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science 5388, Springer 2008, isbn 978-3-540-92242-1

Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)

Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008)

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62

Tom Schrijvers, Bart Demoen: Uniting the Prolog Community. ICLP 2008: 7-8

Tom Schrijvers: Constraint Handling Rules. ICLP 2008: 9-10

Tom Schrijvers, Martin Sulzmann: Transactions in Constraint Handling Rules. ICLP 2008: 516-530

Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen: Towards Typed Prolog. ICLP 2008: 693-697

François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86

Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher: From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR 2008: 152-167

Leslie De Koninck, Tom Schrijvers, Bart Demoen: A Flexible Search Framework for CHR. Constraint Handling Rules 2008: 16-47

Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen: CHR for Imperative Host Languages. Constraint Handling Rules 2008: 161-212

Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules 2008: 213-244

Leslie De Koninck, Tom Schrijvers, Bart Demoen: The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen: Aggregates in Constraint Handling Rules. ICLP 2007: 446-448

Leslie De Koninck, Tom Schrijvers, Bart Demoen: User-definable rule priorities for CHR. PPDP 2007: 25-36

Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. CoRR abs/0712.3830 (2007)

Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. CoRR abs/cs/0702083 (2007)

Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth: Automatic Implication Checking for CHR Constraints. Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006)

Tom Schrijvers, Thom W. Frühwirth: Optimal union-find in Constraint Handling Rules. TPLP 6(1-2): 213-224 (2006)

Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43

Jon Sneyers, Tom Schrijvers, Bart Demoen: Memory Reuse for CHR. ICLP 2006: 72-86

Tom Schrijvers, Maurice Bruynooghe: Polymorphic algebraic data type reconstruction. PPDP 2006: 85-96

Leslie De Koninck, Tom Schrijvers, Bart Demoen: INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP 2006: 91-100

Jon Sneyers, Tom Schrijvers, Bart Demoen: Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191

Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP 2005: 83-97

Tom Schrijvers: Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. ICLP 2005: 435-436

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229

Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard Simplification in CHR programs. W(C)LP 2005: 123-134

Tom Schrijvers, Thom W. Frühwirth: Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146

Tom Schrijvers, Thom W. Frühwirth: Optimal Union-Find in Constraint Handling Rules. CoRR abs/cs/0501073 (2005)

Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing. CoRR abs/cs/0505085 (2005)

Tom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72

Tom Schrijvers, David Scott Warren: Constraint Handling Rules and Tabled Execution. ICLP 2004: 120-136

Tom Schrijvers: JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. ICLP 2004: 475-476

Tom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. CoRR cs.SE/0406026 (2004)

Tom Schrijvers, Maria J. García de la Banda, Bart Demoen: Trailing Analysis for HAL. ICLP 2002: 38-53

Tom Schrijvers, Bart Demoen: Combining an improvement to PARMA trailing with trailing analysis. PPDP 2002: 88-98