2013

1. Delaware, Ben and Oliveira, Bruno C.d.S. and Schrijvers, Tom. Meta-Theory a la Carte. Principles of Programming Languages (POPL 2013). 2013.
2. Tom Schrijvers and Guido Tack and Pieter Wuille and Horst Samulowitz and Peter Stuckey. Search Combinators. In CONSTRAINTS, 18, pp. 269-305, 2013.
3. Tom Schrijvers and Bart Demoen and Benoit Desouter. Delimited continuations in Prolog: Semantics, use and implementation in the WAM. Report CW 631, Dept. of Computer Science, KU Leuven, 2013.

2012

1. Wielemaker, Jan and Schrijvers, Tom and Triska, Markus and Lager, Torbj\"orn. SWI-Prolog. In THEORY AND PRACTICE OF LOGIC PROGRAMMING, 12:1-2, pp. 67--96, 2012.
2. Campagna, Dario and Sarna-Starosta, Beata and Schrijvers, Tom. Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. Practical Aspects of Declarative Languages, 14th International Symposium, Proceedings. Russo, Claudio and Zhou, Neng-Fa, eds. Springer, 2012.
3. C.d.S. Oliveira, Bruno and Schrijvers, Tom and Choi, Wontae and Lee, Wonchan and Li, Kwangkeun. The Implicit Calculus: A New Foundation for Generic Programming. Programming Language Design and Implementation, 33th ACM SIGPLAN Conference, Proceedings. Tip, Frank, eds. ACM, 2012.
4. Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Springer, 2012.
5. Schrijvers, Tom and Triska, Markus and Demoen, Bart. Tor: Extensible Search with Hookable Disjunction. Principles and Practice of Declarative Programming, 14th International ACM SIGPLAN Symposium, Proceedings. King, Andy, eds. ACM, 2012.
6. Keuchel, Steven and Schrijvers, Tom. Modular Monadic Reasoning, a (Co-)Routine. Implementation and Application of Functional Languages, 24th Symposium, Pre-Proceedings. Hinze, Ralf, eds. 2012.
7. Schrijvers, Tom and C.d.S. Oliveira, Bruno. Rational Term Equality, Functionally. Implementation and Application of Functional Languages, 24th Symposium, Pre-Proceedings. Hinze, Ralf, eds. 2012.
8. C.d.S. Oliveira, Bruno and Schrijvers, Tom and Cook, William R.. MRI: Modular Reasoning about Interference in Incremental Programming. In JOURNAL OF FUNCTIONAL PROGRAMMING, 22:6, pp. 797--852, 2012.

2011

1. Wuille, Pieter and Schrijvers, Tom. Parameterized models for on-line and off-line use. WFLP 2010 Post-conference Proceedings. Marino, Julio, eds. Springer, 2011.
2. Wuille, Pieter and Schrijvers, Tom and Samulowitz, Horst and Tack, Guido and Stuckey, Peter. Memoizing a monadic mixin DSL. Lecture Notes in Computer Science. Kuchen, Herbert, eds. pp. 68--85, Springer, 2011.
3. Wuille, Pieter and Schrijvers, Tom. Parameterized models for on-line and off-line use. LECTURE NOTES IN COMPUTER SCIENCE. Springer, 2011.
4. Vytiniotis, Dimitrios and Peyton Jones, Simon and Schrijvers, Tom and Sulzmann, Martin. OutsideIn(X) : modular type inference with local assumptions. In JOURNAL OF FUNCTIONAL PROGRAMMING, 2011.
5. Schrijvers, Tom. The K.U.Leuven CHR system. Constraint handling rules : compilation, execution, and analysis. In Fruehwirth, Thom and Raiser, Frank, eds., Constraint handling rules : compilation, execution, and analysis, pp. 71-88, Books on Demand GmbH, 2011.
6. Schrijvers, Tom. Abstract Interpretation. Constraint handling rules : compilation, execution, and analysis. In Fruehwirth, Thom and Raiser, Frank, eds., Constraint handling rules : compilation, execution, and analysis, pp. 283-310, Books on Demand GmbH, 2011.
7. Schrijvers, Tom and Oliveira, Bruno C. d. S.. Monads, zippers and views : virtualizing the monad stack. In ACM SIGPLAN NOTICES, 2011.
8. Schrijvers, Tom and Tack, Guido and Wuille, Pieter and Samulowitz, Horst and Stuckey, Peter. Search Combinators. Principles and Practice of Constraint Programming, 17th International conference, Proceedings. Springer, 2011.
9. Schrijvers, Tom and Tack, Guido and Wuille, Pieter and Samulowitz, Horst and Stuckey, Peter. Search combinators. Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, 8th International conference, Proceedings. 2011.
10. Campagna, Dario and Sarna-Starosta, Beata and Schrijvers, Tom. Approximating constraint propagation in Datalog. Implementation of Constraint and Logic Programming Systems, 11th International colloquium, Proceedings. Abreu, Salvador and Santos Costa, Vitor, eds. 2011.

2010

1. Schrijvers, Tom and Oliveira, Bruno C. d. S.. The monad zipper. CW Reports CW595, Department of Computer Science, K.U.Leuven, 2010.
2. Orchard, Dominic and Schrijvers, Tom. Haskell type constraints unleashed: Companion report. CW Reports CW574, Department of Computer Science, K.U.Leuven, 2010.
3. Wuille, Pieter and Schrijvers, Tom. Finite Domain modeling and solving in the Monadic Constraint Programming framework. In 2010. Conference of the Belgian Operational Research Society, Liege, Belgium, 28-29 Januari, 2010.
4. Wuille, Pieter and Schrijvers, Tom. Expressive models for Monadic Constraint Programming. Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation, . Mancini, Toni and Pearson, Justin K., eds. 2010.
5. Vytiniotis, Dimitrios and Peyton Jones, Simon and Schrijvers, Tom. Let should not be generalized. Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, . Benton, Nick, eds. pp. 39-50, 2010.
6. Schrijvers, Tom and Mycroft, Alan. Strictness meets data flow. Lecture Notes in Computer Science, . pp. 439-454, Springer, 2010.
7. Pilozzi, Paolo and Schrijvers, Tom and Bruynooghe, Maurice. A transformational approach for proving properties of the CHR constraint store. Lecture Notes in Computer Science, . pp. 22-36, Springer, 2010.
8. Orchard, Dominic and Schrijvers, Tom. Haskell type constraints unleashed. Lecture Notes in Computer Science, . pp. 56-71, Springer, 2010.
9. Oliveira, Bruno C. d. S. and Schrijvers, Tom and Cook, William R.. EffectiveAdvice: Disciplined advice with explicit effects. AOSD '10: Proceedings of the Nineth International Conference on Aspect-Oriented Software Development, . pp. 109-120, ACM, 2010.
10. Degrave, Francois and Schrijvers, Tom and Vanhoof, Wim. Towards a framework for constraint-based test case generation. Lecture Notes in Computer Science, . pp. 128-142, Springer, 2010.
11. Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom and De Koninck, Leslie. As time goes by: Constraint Handling Rules, a survey of CHR research from 1998 to 2007. In Theory and Practice of Logic Programming, 10:1, pp. 1-48, 2010.

2009

1. Wuille, Pieter and Schrijvers, Tom. The FD-MCP framework. CW Reports CW562, Department of Computer Science, K.U.Leuven, 2009.
2. Oliveira, Bruno C. d. S. and Schrijvers, Tom and Cook, William R.. EffectiveAdvice: Overview, background and proofs. CW Reports CW556, Department of Computer Science, K.U.Leuven, 2009.
3. Wuille, Pieter and Schrijvers, Tom. Monadic Constraint Programming with Gecode. Proceedings of the 8th International Workshop on Constraint Modelling and Reformulation, . Frisch, Alan M. and Lee, Jimmy, eds. pp. 171-185, 2009.
4. Schrijvers, Tom and Sulzmann, Martin. Confluence for non-full functional dependencies. Trends in Functional Programming, . Morazan, Marco and Achten, Peter and Koopman, Pieter, eds. pp. 49-64, Intellect, 2009.
5. Schrijvers, Tom and Guillemette, Louis-Julien and Monnier, Stefan. Type invariants for Haskell. Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, . Altenkirch, Thorsten and Millstein, Todd, eds. pp. 39-48, ACM, 2009.
6. Schrijvers, Tom and Degrave, Francois and Vanhoof, Wim. Towards a framework for constraint-based test case generation. Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, . De Schreye, Daniel, eds. pp. 1-10, 2009.
7. Schrijvers, Tom and Bruynooghe, Maurice and Gallagher, John P.. From monomorphic to polymorphic well-typings and beyond. Lecture Notes in Computer Science, . pp. 152-167, Springer, 2009.
8. Sarna-Starosta, Beata and Schrijvers, Tom. Attributed data for CHR indexing. Lecture Notes in Computer Science, . pp. 357-371, Springer, 2009.
9. Pilozzi, Paolo and Schrijvers, Tom and Bruynooghe, Maurice. A transformational approach for proving properties of the CHR constraint store. Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, . De Schreye, Danny and Quaresma, Pedro, eds. pp. 15, 2009.
10. Degrave, Fran\ccois and Schrijvers, Tom and Vanhoof, Wim. Automatic test input generation for Mercury. Lecture Notes in Computer Science, . pp. 71-86, Springer, 2009.
11. Sneyers, Jon and Schrijvers, Tom and Demoen, Bart. The computational power and complexity of Constraint Handling Rules. In ACM Transactions on Programming Languages and Systems, 31:2, pp. 1-42, 2009.
12. Schrijvers, Tom and Stuckey, Peter and Wadler, Philip. Monadic constraint programming. In Journal of Functional Programming, 19:6, pp. 663-697, 2009.
13. Schrijvers, Tom and Peyton Jones, Simon and Sulzmann, Martin and Vytiniotis, Dimitrios. Complete and decidable type inference for GADTs. In ACM Sigplan Notices, 44:9, pp. 341-352, 2009.

2008

1. Sulzmann, Martin and Schrijvers, Tom and Stuckey, Peter J.. Type inference for GADTs via Herbrand constraint abduction. CW Reports CW507, Department of Computer Science, K.U.Leuven, 2008.
2. Schrijvers, Tom and Gallagher, John P. and Bruynooghe, Maurice. From monomorphic to polymorphic well-typings and beyond - Extended report. CW Reports CW518, Department of Computer Science, K.U.Leuven, 2008.
3. Schrijvers, Tom and Sulzmann, Martin. Restoring confluence for functional dependencies. Draft Proceedings of The Ninth Symposium on Trends in Functional Programming. In Achten, Peter and Koopman, Pieter and Morazan, Marco, eds., Draft Proceedings of The Ninth Symposium on Trends in Functional Programming, pp. 22-36, Radbound University, 2008. Trends in Functional Programming, Nijmegen, 26-28 May 2008.
4. Schrijvers, Tom and Sulzmann, Martin. Unified type checking for type classes and type families. International Conference on Functional Programming Poster Session. In Shan, Chung-chieh, eds., International Conference on Functional Programming Poster Session, 2008. International Conference on Function Programming, Victoria, Canada, 22-24 September 2008.
5. Wuille, Pieter and Schrijvers, Tom. Breaking the complexity barrier of pure functional programs with impure data structures. Pre-proceedings of the 20th International Symposium on Implementation and Application of Functional Languages, . pp. 17-32, 2008.
6. Schrijvers, Tom and Sulzmann, Martin. Transactions in Constraint Handling Rules. Lecture Notes in Computer Science, . pp. 516-530, Springer, 2008.
7. Schrijvers, Tom and Santos Costa, Vitor and Wielemaker, Jan and Demoen, Bart. Towards typed Prolog. Lecture Notes in Computer Science, . pp. 693-697, Springer, 2008.
8. Schrijvers, Tom and Gallagher, John P. and Bruynooghe, Maurice. From monomorphic to polymorphic well-typings and beyond. Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, . Hanus, Michael, eds. pp. 3-12, Technical University of Valencia, 2008.
9. Schrijvers, Tom and Demoen, Bart. Uniting the Prolog community. Lecture Notes in Computer Science, . pp. 7-8, Springer, 2008.
10. Schrijvers, Tom. Constraint Handling Rules. A tutorial for (Prolog) programmers. Lecture Notes in Computer Science, . pp. 9-10, Springer, 2008.
11. Sarna-Starosta, Beata and Schrijvers, Tom. Transformation-based indexing techniques for Constraint Handling Rules. Proceedings of the Fifth Workshop on Constraint Handling Rules, . Fruehwirth, Thom and Raiser, Frank and Schrijvers, Tom, eds. pp. 3-17, 2008.
12. Sarna-Starosta, Beata and Schrijvers, Tom. An efficient term representation for CHR indexing. Proceedings of CICLOPS 2008: 8th International Colloquium on Implementation of Constraint and LOgic Programming Systems, . Carro, Manuel and Demoen, Bart, eds. pp. 1-15, 2008.
13. Degrave, Fran\ccois and Schrijvers, Tom and Vanhoof, Wim. Automatic generation of test inputs for Mercury. Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, . Hanus, Michael, eds. pp. 104-120, 2008.
14. Van Weert, Peter and Wuille, Pieter and Schrijvers, Tom and Demoen, Bart. CHR for imperative host languages. Constraint Handling Rules (series LNCS: 5388). Schrijvers, Tom and Fr\uhwirth, Thom, eds. pp. 161-212, Springer, 2008.
15. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. A flexible search framework for CHR. Constraint Handling Rules (series LNCS: 5388). pp. 16-47, Springer, 2008.
16. Constraint Handling Rules: Current research topics. Springer, pp. VII, 245, 2008.
17. Serebrenik, Alexander and Schrijvers, Tom and Demoen, Bart. Improving Prolog programs: Refactoring for Prolog. In Theory and Practice of Logic Programming, 8:2, pp. 201-215, 2008.
18. Schrijvers, Tom and Peyton Jones, Simon and Chakravarty, Manuel and Sulzmann, Martin. Type checking with open type functions. In ACM Sigplan Notices, 43:9, pp. 51-62, 2008.
19. Schrijvers, Tom and Demoen, Bart and Warren, David Scott. TCHR: A framework for tabled CHR. In Theory and Practice of Logic Programming, 8:4, pp. 491-526, 2008.

2007

1. Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom and Demoen, Bart. Aggregates in CHR. CW Reports CW481, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.
2. Sarna-Starosta, Beata and Schrijvers, Tom. Indexing techniques for CHR based on program transformation. CW Reports CW500, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.
3. Pilozzi, Paolo and Schrijvers, Tom and De Schreye, Daniel. Proving termination of CHR in Prolog: A transformational approach. CW Reports CW487, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.
4. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. CHR-rp: Constraint Handling Rules with rule priorities. CW Reports CW479, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.
5. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. The correspondence between the Logical Algorithms language and CHR. CW Reports CW480, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.
6. Wuille, Pieter and Schrijvers, Tom and Demoen, Bart. CCHR: the fastest CHR implementation, in C. Proceedings of the 4th Workshop on Constraint Handling Rules, . Djelloul, K. and Duck, G.J. and Sulzmann, M., eds. pp. 123-137, 2007.
7. Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom and Demoen, Bart. Aggregates in Constraint Handling Rules (extended abstract). Lecture Notes in Computer Science, . pp. 446-448, Springer, 2007.
8. Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom. Aggregates for Constraint Handling Rules. Proceedings of the Fourth Workshop on Constraint Handling Rules, . Djelloul, K. and Duck, G.J. and Sulzmann, M., eds. pp. 91-105, 2007.
9. Schrijvers, Tom and Sulzmann, Martin and Peyton Jones, Simon and Chakravarty, Manuel. Towards open type functions for Haskell. Implementation and Application of Functional Languages, . Chitil, O., eds. pp. 233-251, Computing Laboratory, University of Kent, 2007.
10. Pilozzi, Paolo and Schrijvers, Tom and De Schreye, Daniel. Proving termination of CHR in Prolog: A transformational approach. Proceedings of the 9th International Workshop on Termination, . Hofbauer, D. and Serebrenik, A., eds. pp. 30-33, 2007.
11. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. The correspondence between the logical algorithms language and CHR. Lecture Notes in Computer Science, . Dahl, Veronica and Niemel\a, Ilkka, eds. pp. 209-223, Springer, 2007.
12. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. User-definable rule priorities for CHR. Proceedings of the 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, . Leuschel, Michael and Podelski, Andreas, eds. pp. 25-36, ACM Press, 2007.

2006

1. Van Weert, Peter and Sneyers, Jon and Schrijvers, Tom and Demoen, Bart. To CHR$\neg$ or not to CHR$\neg$ : Extending CHR with Negation as Absence. CW Reports CW446, K.U.Leuven, Department of Computer Science, 2006.
2. Schrijvers, Tom and Zhou, Neng-Fa and Demoen, Bart. A compilation schema from Constraint Handling Rules into Action Rules. CW Reports CW449, K.U.Leuven, Department of Computer Science, 2006.
3. Schrijvers, Tom and Fr\uhwirth, Thom. Proceedings of the third workshop on constraint handling rules. CW Reports CW452, K.U.Leuven, Department of Computer Science, 2006.
4. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. Flexible search strategies in Prolog CHR. CW Reports CW447, K.U.Leuven, Department of Computer Science, 2006.
5. Schrijvers, Tom and Bruynooghe, Maurice. Polymorphic algebraic data type reconstruction. In 2006. International Federation for Information Processing Working Group G2.1 - Algorithmic Languages and Calculi, Namur, Belgium, 11-15 December, 2006.
6. Van Weert, Peter and Sneyers, Jon and Schrijvers, Tom and Demoen, Bart. Extending CHR with negation as absence. Proceedings of the Third Workshop on Constraint Handling Rules, . Schrijvers, Tom and Fruehwirth, T., eds. pp. 125-139, 2006.
7. Sulzmann, Martin and Schrijvers, Tom and Stuckey, Peter. Principal type inference for GHC-style multi-parameter type classes. Lecture Notes in Computer Science, . Chakaravarty, M. and Keller, G., eds. pp. 26-43, Springer, 2006.
8. Sneyers, Jon and Schrijvers, Tom and Demoen, Bart. Dijkstra's algorithm with Fibonacci heaps: an executable description in CHR. Proceedings of the 20th Workshop on Logic Programming, . Fink, M. and Tompits, H. and Woltran, S., eds. pp. 182-191, 2006.
9. Sneyers, Jon and Schrijvers, Tom and Demoen, Bart. Memory reuse for CHR. Logic Programming, 22nd International Conference, ICLP 2006, Proceedings, . Etalle, S. and Truszczynski, eds. pp. 72-86, 2006.
10. Schrijvers, Tom and Zhou, Neng-Fa and Demoen, Bart. Translating Constraint Handling Rules into Action Rules. Proceedings of the Third Workshop on Constraint Handling Rules, . Schrijvers, Tom and Fruehwirth, Thom, eds. pp. 141-155, 2006.
11. Schrijvers, Tom and Bruynooghe, Maurice. Polymorphic algebraic data type reconstruction. Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, . Maher, M., eds. pp. 85-96, ACM Press, 2006.
12. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. INCLP(R) - Interval-based nonlinear constraint logic programming over the reals. Proceedings of the 20th Workshop on Logic Programming, . Fink, M. and Tompits, H. and Woltran, S., eds. pp. 91-100, 2006.
13. De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart. Search Strategies in CHR(Prolog). Proceedings of the Third Workshop on Constraint Handling Rules, . Schrijvers, Tom and Fruehwirth, T., eds. pp. 109-123, Department of Computer Science, K.U.Leuven, 2006.
14. Sneyers, Jon and Schrijvers, Tom and Demoen, Bart. Memory reuse for CHR. In Logic Programming, Proceedings, 4079, pp. 72-86, 2006.
15. Schrijvers, Tom and Fruehwirth, Thom. Optimal union-find in Constraint Handling Rules. In Theory and Practice of Logic Programming, 6, pp. 213-224, 2006.
16. Schrijvers, Tom and Demoen, Bart and De la Banda, Maria Garcia and Stuckey, Peter J.. Improving PARMA trailing. In Theory and Practice of Logic Programming, 6, pp. 609-644, 2006.
17. Schrijvers, Tom. The K.U.Leuven CHR system. In Association for Logic Programming Newsletter, 19:3, pp. 1, 2006.