Publications

  1. Towards Efficient Implementations of Effect Handlers
    Steven Keuchel and Tom Schrijvers.
    IFL 2014.
    2014.

  2. Heuristics Entwined with Handlers Combined
    Tom Schrijvers and Nicolas Wu and Benoit Desouter and Bart Demoen.
    PPDP 2014.
    2014.

  3. Effect Handlers in Scope
    Nicolas Wu and Tom Schrijvers and Ralf Hinze.
    Haskell 2014.
    2014.

  4. Compositional Reasoning About Aspect Interference
    Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Eric Tanter.
    Modularity 2014.
    2014.

  5. Partial Type Signatures for Haskell
    Thomas Winant and Dominique Devriese and Frank Piessens and Tom Schrijvers.
    Practical Aspects of Declarative Languages (PADL).
    Matthew Flatt and Hai-Feng Guo, eds.
    pp. 17-32, Springer, 2014.

  6. Tor: Modular search with hookable disjunction
    Tom Schrijvers and Bart Demoen and Markus Triska and Benoit Desouter.
    In Science of Computer Programming , 84:0, pp. 101 - 120, 2014.

  1. Understanding Idiomatic Traversals Backwards and Forwards
    Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers and Janis Voigtlaender.
    ACM SIGPLAN Haskell Symposium.
    2013.

  2. Generic Datatypes à la Carte
    Steven Keuchel and Tom Schrijvers.
    9th ACM SIGPLAN Workshop on Generic Programming (WGP).
    2013.

  3. Delimited Continuations for Prolog
    Tom Schrijvers and Bart Demoen and Benoit Desouter and Jan Wielemaker.
    In Theory and Practice of Logic Programming (TPLP), Cambridge University Press, 2013.
    Proceedings of the International Conference on Logic Programming (ICLP).

  4. Integrating Datalog and Constraint Solving
    Benoit Desouter and Tom Schrijvers.
    International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS).
    2013.

  5. Automated Design of Search with Composability
    Horst Samulowitz and Ashish Sabharwal and Tom Schrijvers and Guido Tack and Peter Stuckey.
    In 2013.
    Late Breaking Abstract at 27th AAAI Conference on Artificial Intelligence.

  6. Modular Monadic Meta-Theory
    Benjamin Delaware and Steven Keuchel en Tom Schrijvers and Bruno C. d. S. Oliveira.
    International Conference on Functional Programming (ICFP).
    Tarmo Uustalu, eds.
    2013.

  7. Delimited continuations in Prolog: Semantics, use and implementation in the WAM
    Tom Schrijvers and Bart Demoen and Benoit Desouter.
    Report CW 631, Dept. of Computer Science, KU Leuven, 2013.

  8. Search Combinators
    Tom Schrijvers and Guido Tack and Pieter Wuille and Horst Samulowitz and Peter Stuckey.
    In CONSTRAINTS, 18, pp. 269-305, 2013.

  9. Meta-Theory a la Carte
    Delaware, Ben and Oliveira, Bruno C.d.S. and Schrijvers, Tom.
    Principles of Programming Languages (POPL 2013).
    2013.

  1. MRI: Modular Reasoning about Interference in Incremental Programming
    C.d.S. Oliveira, Bruno and Schrijvers, Tom and Cook, William R..
    In JOURNAL OF FUNCTIONAL PROGRAMMING, 22:6, pp. 797--852, 2012.

  2. Rational Term Equality, Functionally
    Schrijvers, Tom and C.d.S. Oliveira, Bruno.
    Implementation and Application of Functional Languages, 24th Symposium, Pre-Proceedings.
    Hinze, Ralf, eds.
    2012.

  3. Modular Monadic Reasoning, a (Co-)Routine
    Keuchel, Steven and Schrijvers, Tom.
    Implementation and Application of Functional Languages, 24th Symposium, Pre-Proceedings.
    Hinze, Ralf, eds.
    2012.

  4. Tor: Extensible Search with Hookable Disjunction
    Schrijvers, Tom and Triska, Markus and Demoen, Bart.
    Principles and Practice of Declarative Programming, 14th International ACM SIGPLAN Symposium, Proceedings.
    King, Andy, eds.
    ACM, 2012.

  5. Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Springer, 2012.

  6. The Implicit Calculus: A New Foundation for Generic Programming
    C.d.S. Oliveira, Bruno and Schrijvers, Tom and Choi, Wontae and Lee, Wonchan and Li, Kwangkeun.
    Programming Language Design and Implementation, 33th ACM SIGPLAN Conference, Proceedings.
    Tip, Frank, eds.
    ACM, 2012.

  7. Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation
    Campagna, Dario and Sarna-Starosta, Beata and Schrijvers, Tom.
    Practical Aspects of Declarative Languages, 14th International Symposium, Proceedings.
    Russo, Claudio and Zhou, Neng-Fa, eds.
    Springer, 2012.

  8. SWI-Prolog
    Wielemaker, Jan and Schrijvers, Tom and Triska, Markus and Lager, Torbj\"orn.
    In THEORY AND PRACTICE OF LOGIC PROGRAMMING, 12:1-2, pp. 67--96, 2012.

  1. Approximating constraint propagation in Datalog
    Campagna, Dario and Sarna-Starosta, Beata and Schrijvers, Tom.
    Implementation of Constraint and Logic Programming Systems, 11th International colloquium, Proceedings.
    Abreu, Salvador and Santos Costa, Vitor, eds.
    2011.

  2. Search combinators
    Schrijvers, Tom and Tack, Guido and Wuille, Pieter and Samulowitz, Horst and Stuckey, Peter.
    Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, 8th International conference, Proceedings.
    2011.

  3. Search Combinators
    Schrijvers, Tom and Tack, Guido and Wuille, Pieter and Samulowitz, Horst and Stuckey, Peter.
    Principles and Practice of Constraint Programming, 17th International conference, Proceedings.
    Springer, 2011.

  4. Monads, zippers and views : virtualizing the monad stack
    Schrijvers, Tom and Oliveira, Bruno C. d. S..
    In ACM SIGPLAN NOTICES, 2011.

  5. 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.

  6. 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.

  7. OutsideIn(X) : modular type inference with local assumptions
    Vytiniotis, Dimitrios and Peyton Jones, Simon and Schrijvers, Tom and Sulzmann, Martin.
    In JOURNAL OF FUNCTIONAL PROGRAMMING, 2011.

  8. Parameterized models for on-line and off-line use
    Wuille, Pieter and Schrijvers, Tom.
    LECTURE NOTES IN COMPUTER SCIENCE.
    Springer, 2011.

  9. Memoizing a monadic mixin DSL
    Wuille, Pieter and Schrijvers, Tom and Samulowitz, Horst and Tack, Guido and Stuckey, Peter.
    Lecture Notes in Computer Science.
    Kuchen, Herbert, eds.
    pp. 68--85, Springer, 2011.

  10. Parameterized models for on-line and off-line use
    Wuille, Pieter and Schrijvers, Tom.
    WFLP 2010 Post-conference Proceedings.
    Marino, Julio, eds.
    Springer, 2011.

  1. As time goes by: Constraint Handling Rules, a survey of CHR research from 1998 to 2007
    Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom and De Koninck, Leslie.
    In Theory and Practice of Logic Programming, 10:1, pp. 1-48, 2010.

  2. Towards a framework for constraint-based test case generation
    Degrave, Francois and Schrijvers, Tom and Vanhoof, Wim.
    Lecture Notes in Computer Science, .
    pp. 128-142, Springer, 2010.

  3. EffectiveAdvice: Disciplined advice with explicit effects
    Oliveira, Bruno C. d. S. and Schrijvers, Tom and Cook, William R..
    AOSD '10: Proceedings of the Nineth International Conference on Aspect-Oriented Software Development, .
    pp. 109-120, ACM, 2010.

  4. Haskell type constraints unleashed
    Orchard, Dominic and Schrijvers, Tom.
    Lecture Notes in Computer Science, .
    pp. 56-71, Springer, 2010.

  5. A transformational approach for proving properties of the CHR constraint store
    Pilozzi, Paolo and Schrijvers, Tom and Bruynooghe, Maurice.
    Lecture Notes in Computer Science, .
    pp. 22-36, Springer, 2010.

  6. Strictness meets data flow
    Schrijvers, Tom and Mycroft, Alan.
    Lecture Notes in Computer Science, .
    pp. 439-454, Springer, 2010.

  7. Let should not be generalized
    Vytiniotis, Dimitrios and Peyton Jones, Simon and Schrijvers, Tom.
    Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, .
    Benton, Nick, eds.
    pp. 39-50, 2010.

  8. Expressive models for Monadic Constraint Programming
    Wuille, Pieter and Schrijvers, Tom.
    Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation, .
    Mancini, Toni and Pearson, Justin K., eds.
    2010.

  9. Finite Domain modeling and solving in the Monadic Constraint Programming framework
    Wuille, Pieter and Schrijvers, Tom.
    In 2010.
    Conference of the Belgian Operational Research Society, Liege, Belgium, 28-29 Januari, 2010.

  10. Haskell type constraints unleashed: Companion report
    Orchard, Dominic and Schrijvers, Tom.
    CW Reports CW574, Department of Computer Science, K.U.Leuven, 2010.

  11. The monad zipper
    Schrijvers, Tom and Oliveira, Bruno C. d. S..
    CW Reports CW595, Department of Computer Science, K.U.Leuven, 2010.

  1. Complete and decidable type inference for GADTs
    Schrijvers, Tom and Peyton Jones, Simon and Sulzmann, Martin and Vytiniotis, Dimitrios.
    In ACM Sigplan Notices, 44:9, pp. 341-352, 2009.

  2. Monadic constraint programming
    Schrijvers, Tom and Stuckey, Peter and Wadler, Philip.
    In Journal of Functional Programming, 19:6, pp. 663-697, 2009.

  3. The computational power and complexity of Constraint Handling Rules
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    In ACM Transactions on Programming Languages and Systems, 31:2, pp. 1-42, 2009.

  4. Automatic test input generation for Mercury
    Degrave, Fran\ccois and Schrijvers, Tom and Vanhoof, Wim.
    Lecture Notes in Computer Science, .
    pp. 71-86, Springer, 2009.

  5. A transformational approach for proving properties of the CHR constraint store
    Pilozzi, Paolo and Schrijvers, Tom and Bruynooghe, Maurice.
    Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, .
    De Schreye, Danny and Quaresma, Pedro, eds.
    pp. 15, 2009.

  6. Attributed data for CHR indexing
    Sarna-Starosta, Beata and Schrijvers, Tom.
    Lecture Notes in Computer Science, .
    pp. 357-371, Springer, 2009.

  7. From monomorphic to polymorphic well-typings and beyond
    Schrijvers, Tom and Bruynooghe, Maurice and Gallagher, John P..
    Lecture Notes in Computer Science, .
    pp. 152-167, Springer, 2009.

  8. Towards a framework for constraint-based test case generation
    Schrijvers, Tom and Degrave, Francois and Vanhoof, Wim.
    Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, .
    De Schreye, Daniel, eds.
    pp. 1-10, 2009.

  9. Type invariants for Haskell
    Schrijvers, Tom and Guillemette, Louis-Julien and Monnier, Stefan.
    Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, .
    Altenkirch, Thorsten and Millstein, Todd, eds.
    pp. 39-48, ACM, 2009.

  10. Confluence for non-full functional dependencies
    Schrijvers, Tom and Sulzmann, Martin.
    Trends in Functional Programming, .
    Morazan, Marco and Achten, Peter and Koopman, Pieter, eds.
    pp. 49-64, Intellect, 2009.

  11. Monadic Constraint Programming with Gecode
    Wuille, Pieter and Schrijvers, Tom.
    Proceedings of the 8th International Workshop on Constraint Modelling and Reformulation, .
    Frisch, Alan M. and Lee, Jimmy, eds.
    pp. 171-185, 2009.

  12. EffectiveAdvice: Overview, background and proofs
    Oliveira, Bruno C. d. S. and Schrijvers, Tom and Cook, William R..
    CW Reports CW556, Department of Computer Science, K.U.Leuven, 2009.

  13. The FD-MCP framework
    Wuille, Pieter and Schrijvers, Tom.
    CW Reports CW562, Department of Computer Science, K.U.Leuven, 2009.

  1. TCHR: A framework for tabled CHR
    Schrijvers, Tom and Demoen, Bart and Warren, David Scott.
    In Theory and Practice of Logic Programming, 8:4, pp. 491-526, 2008.

  2. Type checking with open type functions
    Schrijvers, Tom and Peyton Jones, Simon and Chakravarty, Manuel and Sulzmann, Martin.
    In ACM Sigplan Notices, 43:9, pp. 51-62, 2008.

  3. Improving Prolog programs: Refactoring for Prolog
    Serebrenik, Alexander and Schrijvers, Tom and Demoen, Bart.
    In Theory and Practice of Logic Programming, 8:2, pp. 201-215, 2008.

  4. Constraint Handling Rules: Current research topics . Springer, pp. VII, 245, 2008.

  5. A flexible search framework for CHR
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    Constraint Handling Rules (series LNCS: 5388).
    pp. 16-47, Springer, 2008.

  6. CHR for imperative host languages
    Van Weert, Peter and Wuille, Pieter and Schrijvers, Tom and Demoen, Bart.
    Constraint Handling Rules (series LNCS: 5388).
    Schrijvers, Tom and Fr\uhwirth, Thom, eds.
    pp. 161-212, Springer, 2008.

  7. Automatic generation of test inputs for Mercury
    Degrave, Fran\ccois and Schrijvers, Tom and Vanhoof, Wim.
    Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, .
    Hanus, Michael, eds.
    pp. 104-120, 2008.

  8. An efficient term representation for CHR indexing
    Sarna-Starosta, Beata and Schrijvers, Tom.
    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.

  9. Transformation-based indexing techniques for Constraint Handling Rules
    Sarna-Starosta, Beata and Schrijvers, Tom.
    Proceedings of the Fifth Workshop on Constraint Handling Rules, .
    Fruehwirth, Thom and Raiser, Frank and Schrijvers, Tom, eds.
    pp. 3-17, 2008.

  10. Constraint Handling Rules. A tutorial for (Prolog) programmers
    Schrijvers, Tom.
    Lecture Notes in Computer Science, .
    pp. 9-10, Springer, 2008.

  11. Uniting the Prolog community
    Schrijvers, Tom and Demoen, Bart.
    Lecture Notes in Computer Science, .
    pp. 7-8, Springer, 2008.

  12. From monomorphic to polymorphic well-typings and beyond
    Schrijvers, Tom and Gallagher, John P. and Bruynooghe, Maurice.
    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.

  13. Towards typed Prolog
    Schrijvers, Tom and Santos Costa, Vitor and Wielemaker, Jan and Demoen, Bart.
    Lecture Notes in Computer Science, .
    pp. 693-697, Springer, 2008.

  14. Transactions in Constraint Handling Rules
    Schrijvers, Tom and Sulzmann, Martin.
    Lecture Notes in Computer Science, .
    pp. 516-530, Springer, 2008.

  15. Breaking the complexity barrier of pure functional programs with impure data structures
    Wuille, Pieter and Schrijvers, Tom.
    Pre-proceedings of the 20th International Symposium on Implementation and Application of Functional Languages, .
    pp. 17-32, 2008.

  16. Unified type checking for type classes and type families
    Schrijvers, Tom and Sulzmann, Martin.
    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.

  17. Restoring confluence for functional dependencies
    Schrijvers, Tom and Sulzmann, Martin.
    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.

  18. From monomorphic to polymorphic well-typings and beyond - Extended report
    Schrijvers, Tom and Gallagher, John P. and Bruynooghe, Maurice.
    CW Reports CW518, Department of Computer Science, K.U.Leuven, 2008.

  19. Type inference for GADTs via Herbrand constraint abduction
    Sulzmann, Martin and Schrijvers, Tom and Stuckey, Peter J..
    CW Reports CW507, Department of Computer Science, K.U.Leuven, 2008.

  1. User-definable rule priorities for CHR
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    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.

  2. The correspondence between the logical algorithms language and CHR
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    Lecture Notes in Computer Science, .
    Dahl, Veronica and Niemel\a, Ilkka, eds.
    pp. 209-223, Springer, 2007.

  3. Proving termination of CHR in Prolog: A transformational approach
    Pilozzi, Paolo and Schrijvers, Tom and De Schreye, Daniel.
    Proceedings of the 9th International Workshop on Termination, .
    Hofbauer, D. and Serebrenik, A., eds.
    pp. 30-33, 2007.

  4. Towards open type functions for Haskell
    Schrijvers, Tom and Sulzmann, Martin and Peyton Jones, Simon and Chakravarty, Manuel.
    Implementation and Application of Functional Languages, .
    Chitil, O., eds.
    pp. 233-251, Computing Laboratory, University of Kent, 2007.

  5. Aggregates for Constraint Handling Rules
    Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom.
    Proceedings of the Fourth Workshop on Constraint Handling Rules, .
    Djelloul, K. and Duck, G.J. and Sulzmann, M., eds.
    pp. 91-105, 2007.

  6. Aggregates in Constraint Handling Rules (extended abstract)
    Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom and Demoen, Bart.
    Lecture Notes in Computer Science, .
    pp. 446-448, Springer, 2007.

  7. CCHR: the fastest CHR implementation, in C
    Wuille, Pieter and Schrijvers, Tom and Demoen, Bart.
    Proceedings of the 4th Workshop on Constraint Handling Rules, .
    Djelloul, K. and Duck, G.J. and Sulzmann, M., eds.
    pp. 123-137, 2007.

  8. The correspondence between the Logical Algorithms language and CHR
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW480, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.

  9. CHR-rp: Constraint Handling Rules with rule priorities
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW479, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.

  10. Proving termination of CHR in Prolog: A transformational approach
    Pilozzi, Paolo and Schrijvers, Tom and De Schreye, Daniel.
    CW Reports CW487, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.

  11. Indexing techniques for CHR based on program transformation
    Sarna-Starosta, Beata and Schrijvers, Tom.
    CW Reports CW500, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.

  12. Aggregates in CHR
    Sneyers, Jon and Van Weert, Peter and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW481, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2007.

  1. The K.U.Leuven CHR system
    Schrijvers, Tom.
    In Association for Logic Programming Newsletter, 19:3, pp. 1, 2006.

  2. Improving PARMA trailing
    Schrijvers, Tom and Demoen, Bart and De la Banda, Maria Garcia and Stuckey, Peter J..
    In Theory and Practice of Logic Programming, 6, pp. 609-644, 2006.

  3. Optimal union-find in Constraint Handling Rules
    Schrijvers, Tom and Fruehwirth, Thom.
    In Theory and Practice of Logic Programming, 6, pp. 213-224, 2006.

  4. Memory reuse for CHR
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    In Logic Programming, Proceedings, 4079, pp. 72-86, 2006.

  5. Search Strategies in CHR(Prolog)
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    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.

  6. INCLP(R) - Interval-based nonlinear constraint logic programming over the reals
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    Proceedings of the 20th Workshop on Logic Programming, .
    Fink, M. and Tompits, H. and Woltran, S., eds.
    pp. 91-100, 2006.

  7. Polymorphic algebraic data type reconstruction
    Schrijvers, Tom and Bruynooghe, Maurice.
    Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, .
    Maher, M., eds.
    pp. 85-96, ACM Press, 2006.

  8. Translating Constraint Handling Rules into Action Rules
    Schrijvers, Tom and Zhou, Neng-Fa and Demoen, Bart.
    Proceedings of the Third Workshop on Constraint Handling Rules, .
    Schrijvers, Tom and Fruehwirth, Thom, eds.
    pp. 141-155, 2006.

  9. Memory reuse for CHR
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    Logic Programming, 22nd International Conference, ICLP 2006, Proceedings, .
    Etalle, S. and Truszczynski, eds.
    pp. 72-86, 2006.

  10. Dijkstra's algorithm with Fibonacci heaps: an executable description in CHR
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    Proceedings of the 20th Workshop on Logic Programming, .
    Fink, M. and Tompits, H. and Woltran, S., eds.
    pp. 182-191, 2006.

  11. Principal type inference for GHC-style multi-parameter type classes
    Sulzmann, Martin and Schrijvers, Tom and Stuckey, Peter.
    Lecture Notes in Computer Science, .
    Chakaravarty, M. and Keller, G., eds.
    pp. 26-43, Springer, 2006.

  12. Extending CHR with negation as absence
    Van Weert, Peter and Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    Proceedings of the Third Workshop on Constraint Handling Rules, .
    Schrijvers, Tom and Fruehwirth, T., eds.
    pp. 125-139, 2006.

  13. Polymorphic algebraic data type reconstruction
    Schrijvers, Tom and Bruynooghe, Maurice.
    In 2006.
    International Federation for Information Processing Working Group G2.1 - Algorithmic Languages and Calculi, Namur, Belgium, 11-15 December, 2006.

  14. Flexible search strategies in Prolog CHR
    De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW447, K.U.Leuven, Department of Computer Science, 2006.

  15. Proceedings of the third workshop on constraint handling rules
    Schrijvers, Tom and Fr\uhwirth, Thom.
    CW Reports CW452, K.U.Leuven, Department of Computer Science, 2006.

  16. A compilation schema from Constraint Handling Rules into Action Rules
    Schrijvers, Tom and Zhou, Neng-Fa and Demoen, Bart.
    CW Reports CW449, K.U.Leuven, Department of Computer Science, 2006.

  17. To CHR$\neg$ or not to CHR$\neg$ : Extending CHR with Negation as Absence
    Van Weert, Peter and Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW446, K.U.Leuven, Department of Computer Science, 2006.

  1. Demoen, Bart and Nguyen, Phuong-Lan and Schrijvers, Tom and Tron\ccon, Remko. The first 10 Prolog programming contests . Bart Demoen, pp. xiv 146, 2005.

  2. Accurate functional dependency analysis for Constraint Handling Rules
    Duck, Gregory and Schrijvers, Tom.
    Proceedings of the 2nd Workshop on Constraint Handling Rules, .
    Schrijvers, Tom and Fr\"uhwirth, T., eds.
    pp. 109--124, 2005.

  3. Analyses, optimizations and extensions of Constraint Handling Rules: Ph.D. summary
    Schrijvers, Tom.
    Logic Programming, Proceedings, .
    pp. 435--436, Springer-verlag berlin, 2005.

  4. *** Analyses, Optimizations and Extensions of Constraint Handling Rules

  5. Towards constraint-based type inference with polymorphic recursion for functional and logic languages
    Schrijvers, Tom and Bruynooghe, Maurice.
    Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, .
    Butterfield, A., eds.
    pp. 1--16, 2005.

  6. Automatic implication checking for CHR constraint solvers
    Schrijvers, Tom and Demoen, Bart and Duck, Gregory and Stuckey, P. and Fr\"uhwirth, Thom.
    CW Reports CW402, K.U.Leuven, Department of Computer Science, 2005.

  7. Automatic implication checking for CHR constraints
    Schrijvers, Tom and Demoen, Bart and Duck, Gregory and Stuckey, P. and Fr\"uhwirth, Thom.
    Proceedings of the 6th International Workshop on Rule-Based Programming, .
    Cirstea, H. and Marti-Oliet, N., eds.
    pp. 93--111, 2005.

  8. Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules
    Schrijvers, Tom and Fr\"uhwirth, Thom.
    CW Reports CW421, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2005.

  9. Analysing the CHR implementation of union-find
    Schrijvers, Tom and Fr\"uhwirth, Thom.
    19th Workshop on (Constraint) Logic Programming, .
    Wolf, A. and Fr\"uhwirth, T. and Meister, M., eds.
    pp. 135--146, 2005.

  10. Abstract interpretation for constraint handling rules
    Schrijvers, Tom and Stuckey, P. and Duck, Gregory.
    Proceedings of the Seventh ACM SIGPLAN Symposium on the Principles and Practice of Declarative Programming, .
    Felty, A., eds.
    pp. 218--229, 2005.

  11. Constraint handling rules for SWI-Prolog
    Schrijvers, Tom and Wielemaker, Jan and Demoen, Bart.
    In 2005.
    19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005.

  12. Guard and continuation optimization for occurrence representations of CHR
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW420, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2005.

  13. Suspension optimization and in-place updates for optimizing CHR compilation
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW433, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2005.

  14. Dijkstra's algorithm with Fibonacci heaps: an executable description in CHR
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW429, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2005.

  15. Guard reasoning for CHR optimization
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW411, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2005.

  16. Guard and continuation optimization for occurrence representations of CHR
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    Logic Programming, ICLP 2005, Proceedings, .
    Gabbrielli, M. and Gupta, G., eds.
    pp. 83--97, Springer-verlag berlin, 2005.

  17. The computational power and complexity of Constraint Handling Rules
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    Proceedings of the 2nd Workshop on Constraint Handling Rules, .
    Schrijvers, Tom and Fr\"uhwirth, T., eds.
    pp. 3--17, 2005.

  18. Guard simplification in CHR programs
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    19th Workshop on (Constraint) Logic Programming, .
    Wolf, A. and Fr\"uhwirth, T. and Meister, M., eds.
    pp. 123--134, 2005.

  19. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java
    Van Weert, Peter and Schrijvers, Tom and Demoen, Bart.
    Proceedings of the 2nd Workshop on Constraint Handling Rules, .
    Schrijvers, Tom and Fr\"uhwirth, Thom, eds.
    pp. 47--62, Deptartment of Computer Science, K.U.Leuven, 2005.

  1. An abstract interpretation framework for constraint handling rules
    Duck, Gregory and Schrijvers, Tom and Stuckey, P..
    CW Reports CW391, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2004.

  2. JmmSolve: A generative Java memory model implemented in Prolog and CHR
    Schrijvers, Tom.
    Logic Programming, Proceedings, .
    pp. 475--476, Springer-verlag berlin, 2004.

  3. JmmSolve: a generative reference implementation of CCM machines
    Schrijvers, Tom and Demoen, Bart.
    CW Reports CW379, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2004.

  4. Antimonotony-based delay avoidance for CHR
    Schrijvers, Tom and Demoen, Bart.
    CW Reports CW385, K.U.Leuven, Department of Computer Science, 2004.

  5. The K.U.Leuven CHR system: Implementation and application
    Schrijvers, Tom and Demoen, Bart.
    First Workshop on Constraint Handling Rules: Selected Contributions, .
    Fr\"uhwirth, T. and Meister, M., eds.
    pp. 1--5, 2004.

  6. Implementing and Analysing Union-Find in CHR
    Schrijvers, Tom and Fr\"uhwirth, Thom.
    CW Reports CW389, K.U.Leuven, Department of Computer Science, 2004.

  7. Improving Prolog programs: Refactoring for prolog
    Schrijvers, Tom and Serebrenik, Alexander.
    Logic Programming, Proceedings, .
    pp. 58--72, Springer-verlag berlin, 2004.

  8. Refactoring Prolog code
    Schrijvers, Tom and Serebrenik, Alexander and Demoen, Bart.
    INAP/WLP 2004. 13th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on Logic Programming. Proceedings., .
    Seipel, Dietmar and Hanus, Michael and Geske, Ulrich and Bartenstein, Oskar, eds.
    pp. 115--126, 2004.

  9. Constraint Handling Rules and tabled execution
    Schrijvers, Tom and Warren, David S..
    In Logic Programming, Proceedings, 3132, pp. 120--136, 2004.

  10. Guard simplification in CHR programs
    Sneyers, Jon and Schrijvers, Tom and Demoen, Bart.
    CW Reports CW396, K.U.Leuven, Department of Computer Science, 2004.

  1. Refactoring Prolog programs
    Schrijvers, Tom and Serebrenik, Alexander and Demoen, Bart.
    CW Reports CW373, Department of Computer Science, K.U.Leuven, 2003.

  2. CHR for XSB
    Schrijvers, Tom and Warren, David S. and Demoen, Bart.
    Proceedings of CICLOPS 2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, .
    Lopes, R. and Ferreira, M., eds.
    pp. 7--20, 2003.

  1. Combining an improvement to PARMA trailing with analysis in HAL
    Schrijvers, Tom.
    Proceedings of CICLOPS'2002, the Colloquium of Constraint and LOgic Programming Systems, .
    Demoen, Bart, eds.
    pp. 1--12, 2002.

  2. Combining an Improvement to PARMA Trailing with Analysis in HAL
    Schrijvers, Tom and Demoen, Bart.
    CW Reports CW338, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2002.

  3. Combining an improvement to PARMA trailing with trailing analysis
    Schrijvers, Tom and Demoen, Bart.
    Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, .
    Kirchner, C., eds.
    pp. 88--98, 2002.

  4. Trailing analysis for HAL
    Schrijvers, Tom and Garcia de la Banda, Maria and Demoen, Bart.
    Logics Programming, Proceedings, .
    Stuckey, P., eds.
    pp. 38--53, Springer-verlag berlin, 2002.

  1. An improvement to PARMA variable trailing
    Schrijvers, Tom and Demoen, Bart.
    CW Reports CW326, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2001.

  2. Trailing Analysis for HAL
    Schrijvers, Tom and Demoen, Bart and de la Banda, Maria Garcia and Stuckey, P..
    CW Reports CW327, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2001.