Tom Schrijvers

184 papers A* 5A 13B 23C 26Misc 5Journal 74Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	An Efficient Compiler for the IDP-Z3 Knowledge Base System. PADL Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers
2026	C	`conf`	Staging Effect Handlers for Modular Search. PEPM Alexandru Trifanov, Tom Schrijvers
2025	J	`jnl`	Biparsers: Exact Printing for Data Synchronisation. Proc. ACM Program. Lang. Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu
2025	J	`jnl`	Effectful Lenses: There and Back with Different Monads. Proc. ACM Program. Lang. Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu
2025	—	`conf`	Source Code Without Implicitness: Explicit Source Prose For Programming Education. UKICER Jesse Hoobergs, Tom Schrijvers
2025	C	`conf`	Staging Automatic Differentiation with Fusion. Haskell Samuel Klumpers, Tom Schrijvers
2024	J	`jnl`	A Calculus for Scoped Effects & Handlers. Log. Methods Comput. Sci. Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers
2024	J	`jnl`	A framework for higher-order effects & handlers. Sci. Comput. Program. Birthe van den Berg, Tom Schrijvers
2024	—	`conf`	ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises. SPLASH-E Lucas Van Praet, Jesse Hoobergs, Tom Schrijvers
2024	Misc	`conf`	Declarative Pearl: Rigged Contracts. FLOPS Alexander Vandenbroucke, Tom Schrijvers
2024	J	`jnl`	Disjunctive Delimited Control. Theory Pract. Log. Program. Alexander Vandenbroucke, Tom Schrijvers
2024	J	`jnl`	Forward- or reverse-mode automatic differentiation: What's the difference? Sci. Comput. Program. Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
2024	J	`jnl`	From high to low: Simulating nondeterminism and state with state. J. Funct. Program. Wenhao Tang, Tom Schrijvers
2024	J	`jnl`	Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. CoRR Jack Liell-Cock, Tom Schrijvers
2024	J	`jnl`	Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. Art Sci. Eng. Program. Jack Liell-Cock, Tom Schrijvers
2024	—	`conf`	Towards a More Efficient Selection Monad. TFP Johannes Hartmann, Tom Schrijvers, Jeremy Gibbons
2023	J	`jnl`	A Calculus for Scoped Effects & Handlers. CoRR Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers
2023	J	`jnl`	A Framework for Higher-Order Effects & Handlers. CoRR Birthe van den Berg, Tom Schrijvers
2023	J	`jnl`	Automatic Differentiation in Prolog. CoRR Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
2023	J	`jnl`	Automatic Differentiation in Prolog. Theory Pract. Log. Program. Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
2023	J	`jnl`	From High to Low: Simulating Nondeterminism and State with State. CoRR Wenhao Tang, Tom Schrijvers
2023	B	`conf`	No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP Roger Bosman, Georgios Karachalias, Tom Schrijvers
2023	—	`conf`	Phases in Software Architecture. FUNARCH Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
2023	—	`conf`	eTeacher: A Pilot in Flemish Secondary Education. ITiCSE (2) Jesse Hoobergs, Birthe van den Berg, Tom Schrijvers
2023	C	`conf`	sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). PADL Birthe van den Berg, Tom Schrijvers, Peter Dedecker
2022	Misc	`conf`	A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. FLOPS Birthe van den Berg, Tom Schrijvers
2022	B	`conf`	Breadth-First Traversal via Staging. MPC Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
2022	J	`jnl`	Forward- or Reverse-Mode Automatic Differentiation: What's the Difference? CoRR Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
2022	J	`jnl`	Fusing Industry and Academia at GitHub (Experience Report). CoRR Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
2022	J	`jnl`	Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
2022	C	`conf`	Oregano: staging regular expressions with Moore Cayley fusion. Haskell Jamie Willis, Nicolas Wu, Tom Schrijvers
2022	A	`conf`	Structured Handling of Scoped Effects. ESOP Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022	J	`jnl`	Structured Handling of Scoped Effects: Extended Version. CoRR Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
2021	C	`conf`	Disjunctive Delimited Control. LOPSTR Alexander Vandenbroucke, Tom Schrijvers
2021	J	`jnl`	Disjunctive Delimited Control. CoRR Alexander Vandenbroucke, Tom Schrijvers
2021	B	`conf`	Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. FM César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai
2021	J	`jnl`	Efficient compilation of algebraic effect handlers. Proc. ACM Program. Lang. Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers
2021	B	`conf`	Latent Effects for Reusable Language Components. APLAS Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2021	J	`jnl`	Latent Effects for Reusable Language Components: Extended Version. CoRR Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2021	J	`jnl`	Special Issue on Probabilistic Logic Programming (PLP 2018). Int. J. Approx. Reason. Elena Bellodi, Tom Schrijvers
2020	J	`jnl`	Consistent Subtyping for All. ACM Trans. Program. Lang. Syst. Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2020	J	`jnl`	Disjunctive Delimited Control. CoRR Alexander Vandenbroucke, Tom Schrijvers
2020	J	`jnl`	Explicit Effect Subtyping. CoRR Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
2020	J	`jnl`	Explicit effect subtyping. J. Funct. Program. Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
2020	J	`jnl`	Faster coroutine pipelines: A reconstruction. J. Funct. Program. Ruben P. Pieters, Tom Schrijvers
2020	J	`jnl`	Generalized monoidal effects and handlers. J. Funct. Program. Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers
2020	—	`conf`	PaSe: An Extensible and Inspectable DSL for Micro-Animations. TFP Ruben P. Pieters, Tom Schrijvers
2020	J	`jnl`	PaSe: An Extensible and Inspectable DSL for Micro-Animations. CoRR Ruben P. Pieters, Tom Schrijvers
2020	—	`ed.`	Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020 Haskell@ICFP Tom Schrijvers
2020	J	`jnl`	PλωNK: functional probabilistic NetKAT. Proc. ACM Program. Lang. Alexander Vandenbroucke, Tom Schrijvers
2020	—	`ch.`	Quantitative Information Flow with Monads in Haskell. Foundations of Probabilistic Programming Jeremy Gibbons, Annabelle McIver, Carroll Morgan, Tom Schrijvers
2020	J	`jnl`	Resolution as Intersection Subtyping via Modus Ponens. CoRR Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
2020	J	`jnl`	Resolution as intersection subtyping via Modus Ponens. Proc. ACM Program. Lang. Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
2020	A	`conf`	Row and Bounded Polymorphism via Disjoint Polymorphism. ECOOP Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
2020	—	`conf`	State Will do. TFP Willem Seynaeve, Koen Pauwels, Tom Schrijvers
2019	J	`jnl`	A mechanical formalization of higher-ranked polymorphic type inference. Proc. ACM Program. Lang. Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
2019	J	`jnl`	Bidirectional Type Class Instances (Extended Version). CoRR Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
2019	—	`conf`	Bidirectional type class instances. Haskell@ICFP Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
2019	J	`jnl`	COCHIS: Stable and coherent implicits. J. Funct. Program. Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
2019	A	`conf`	CONDEnSe: Contract Based Design Synthesis. MoDELS César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai
2019	J	`jnl`	Coherence of Type Class Resolution. CoRR Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
2019	J	`jnl`	Coherence of type class resolution. Proc. ACM Program. Lang. Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
2019	A	`conf`	Distributive Disjoint Polymorphism for Compositional Programming. ESOP Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
2019	C	`conf`	Faster Coroutine Pipelines: A Reconstruction. PADL Ruben P. Pieters, Tom Schrijvers
2019	B	`conf`	Handling Local State with Global State. MPC Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu
2019	J	`jnl`	Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic. J. Web Semant. Dörthe Arndt, Tom Schrijvers, Jos De Roo, Ruben Verborgh
2019	—	`conf`	Lazy Stream Programming in Prolog. ICLP Technical Communications Paul Tarau, Jan Wielemaker, Tom Schrijvers
2019	—	`conf`	Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
2018	J	`jnl`	A unified view of monadic and applicative non-determinism. Sci. Comput. Program. Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
2018	J	`jnl`	Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). Dagstuhl Reports Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers
2018	A	`conf`	Explicit Effect Subtyping. ESOP Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
2018	B	`conf`	Formalization of a Polymorphic Subtyping Algorithm. ITP Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
2018	—	`ed.`	Proceedings of the 5th International Workshop on Probabilistic Logic Programming, PLP 2018, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 1, 2018. PLP@ILP Elena Bellodi, Tom Schrijvers
2018	A*	`conf`	Syntax and Semantics for Operations with Scopes. LICS Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
2018	J	`jnl`	The Essence of Nested Composition (Artifact). Dagstuhl Artifacts Ser. Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2018	A	`conf`	The Essence of Nested Composition. ECOOP Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2017	C	`conf`	Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Haskell Georgios Karachalias, Tom Schrijvers
2017	—	`conf`	From PRISM to ProbLog and Back Again. PLP@ILP Alexander Vandenbroucke, Tom Schrijvers
2017	—	`conf`	Handlers for Non-Monadic Computations. IFL Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas
2017	C	`conf`	Quantified class constraints. Haskell Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
2016	J	`jnl`	Efficient Algebraic Effect Handlers for Prolog. CoRR Amr Hany Saleh, Tom Schrijvers
2016	J	`jnl`	Efficient algebraic effect handlers for Prolog. Theory Pract. Log. Program. Amr Hany Saleh, Tom Schrijvers
2016	A*	`conf`	From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL Edward Robbins, Andy King, Tom Schrijvers
2016	A	`conf`	Needle & Knot: Binder Boilerplate Tied Up. ESOP Steven Keuchel, Stephanie Weirich, Tom Schrijvers
2016	—	`ed.`	Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016 IFL Tom Schrijvers
2016	Misc	`conf`	Proof Relevant Corecursive Resolution. FLOPS Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
2016	A*	`conf`	Tabling as a Library with Delimited Control. IJCAI Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
2016	J	`jnl`	Tabling with Sound Answer Subsumption. CoRR Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
2016	J	`jnl`	Tabling with Sound Answer Subsumption. Theory Pract. Log. Program. Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
2015	—	`conf`	Fixing non-determinism. IFL Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens
2015	C	`conf`	From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
2015	B	`conf`	Fusion for Free - Efficient Algebraic Effect Handlers. MPC Nicolas Wu, Tom Schrijvers
2015	A	`conf`	GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ICFP Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones
2015	J	`jnl`	Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. Tom Schrijvers
2015	J	`jnl`	Proof Relevant Corecursive Resolution. CoRR Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
2015	—	`conf`	Reasoning about modular datatypes with Mendler induction. FICS Paolo Torrini, Tom Schrijvers
2015	J	`jnl`	Tabling as a Library with Delimited Control. CoRR Benoit Desouter, Tom Schrijvers, Marko van Dooren
2015	J	`jnl`	Tabling as a library with delimited control. Theory Pract. Log. Program. Benoit Desouter, Marko van Dooren, Tom Schrijvers
2015	—	`conf`	The Future of Programming is Functional. SoICT Tom Schrijvers
2014	—	`conf`	Compositional reasoning about aspect interference. MODULARITY Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
2014	C	`conf`	Effect handlers in scope. Haskell Nicolas Wu, Tom Schrijvers, Ralf Hinze
2014	C	`conf`	Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
2014	J	`jnl`	Introduction to the 30th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. Michael Leuschel, Tom Schrijvers
2014	C	`conf`	Partial Type Signatures for Haskell. PADL Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
2014	J	`jnl`	Tor: Modular search with hookable disjunction. Sci. Comput. Program. Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
2013	C	`ed.`	15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013 PPDP Ricardo Peña, Tom Schrijvers
2013	—	`conf`	Automated Design of Search with Composability. AAAI (Late-Breaking Developments) Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack
2013	J	`jnl`	Delimited continuations for prolog. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
2013	—	`conf`	Generic datatypes à la carte. WGP@ICFP Steven Keuchel, Tom Schrijvers
2013	J	`jnl`	Integrating Datalog and Constraint Solving. CoRR Benoit Desouter, Tom Schrijvers
2013	A*	`conf`	Meta-theory à la carte. POPL Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
2013	A	`conf`	Modular monadic meta-theory. ICFP Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
2013	J	`jnl`	Search combinators. Constraints An Int. J. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2013	C	`conf`	Understanding idiomatic traversals backwards and forwards. Haskell Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
2012	C	`conf`	An Introduction to Search Combinators. LOPSTR Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2012	J	`jnl`	Extended Report: The Implicit Calculus CoRR Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2012	Misc	`ed.`	Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings FLOPS Tom Schrijvers, Peter Thiemann
2012	J	`jnl`	MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
2012	C	`conf`	Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. PADL Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
2012	J	`jnl`	SWI-Prolog. Theory Pract. Log. Program. Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager
2012	J	`jnl`	Search Combinators CoRR Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2012	A*	`conf`	The implicit calculus: a new foundation for generic programming. PLDI Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2012	C	`conf`	Tor: extensible search with hookable disjunction. PPDP Tom Schrijvers, Markus Triska, Bart Demoen
2011	J	`jnl`	Approximating Constraint Propagation in Datalog CoRR Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
2011	—	`conf`	Memoizing a Monadic Mixin DSL. WFLP Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey
2011	A	`conf`	Monads, zippers and views: virtualizing the monad stack. ICFP Tom Schrijvers, Bruno C. d. S. Oliveira
2011	J	`jnl`	OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
2011	A	`conf`	Search Combinators. CP Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2010	J	`jnl`	As time goes by: Constraint Handling Rules. Theory Pract. Log. Program. Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
2010	—	`conf`	EffectiveAdvice: disciplined advice with explicit effects. AOSD Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
2010	Misc	`conf`	Haskell Type Constraints Unleashed. FLOPS Dominic A. Orchard, Tom Schrijvers
2010	—	`conf`	Let should not be generalized. TLDI Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers
2010	—	`conf`	Parameterized Models for On-Line and Off-Line Use. WFLP Pieter Wuille, Tom Schrijvers
2010	J	`jnl`	SWI-Prolog CoRR Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager
2010	B	`conf`	Strictness Meets Data Flow. SAS Tom Schrijvers, Alan Mycroft
2009	C	`conf`	A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
2009	J	`jnl`	As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 CoRR Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
2009	B	`conf`	Attributed Data for CHR Indexing. ICLP Beata Sarna-Starosta, Tom Schrijvers
2009	A	`conf`	Complete and decidable type inference for GADTs. ICFP Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
2009	J	`jnl`	Monadic constraint programming. J. Funct. Program. Tom Schrijvers, Peter J. Stuckey, Philip Wadler
2009	J	`jnl`	The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. Jon Sneyers, Tom Schrijvers, Bart Demoen
2009	C	`conf`	Towards a Framework for Constraint-Based Test Case Generation. LOPSTR François Degrave, Tom Schrijvers, Wim Vanhoof
2009	—	`conf`	Type invariants for Haskell. PLPV Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier
2008	—	`ch.`	A Flexible Search Framework for CHR. Constraint Handling Rules Leslie De Koninck, Tom Schrijvers, Bart Demoen
2008	C	`conf`	Automatic Generation of Test Inputs for Mercury. LOPSTR François Degrave, Tom Schrijvers, Wim Vanhoof
2008	—	`ch.`	CHR for Imperative Host Languages. Constraint Handling Rules Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen
2008	—	`conf`	Confluence for Functional Dependencies. Trends in Functional Programming Tom Schrijvers, Martin Sulzmann
2008	—	`book`	Constraint Handling Rules, Current Research Topics Constraint Handling Rules Tom Schrijvers, Thom W. Frühwirth
2008	B	`conf`	Constraint Handling Rules. ICLP Tom Schrijvers
2008	C	`conf`	From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher
2008	—	`ch.`	Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules Jon Sneyers, Tom Schrijvers, Bart Demoen
2008	J	`jnl`	Improving Prolog programs: Refactoring for Prolog. Theory Pract. Log. Program. Alexander Serebrenik, Tom Schrijvers, Bart Demoen
2008	J	`jnl`	TCHR: a framework for tabled CLP. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, David Scott Warren
2008	B	`conf`	Towards Typed Prolog. ICLP Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen
2008	B	`conf`	Transactions in Constraint Handling Rules. ICLP Tom Schrijvers, Martin Sulzmann
2008	A	`conf`	Type checking with open type functions. ICFP Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
2008	B	`conf`	Uniting the Prolog Community. ICLP Tom Schrijvers, Bart Demoen
2007	B	`conf`	Aggregates in Constraint Handling Rules. ICLP Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
2007	J	`jnl`	Improving Prolog programs: Refactoring for Prolog CoRR Alexander Serebrenik, Tom Schrijvers, Bart Demoen
2007	J	`jnl`	TCHR: a framework for tabled CLP CoRR Tom Schrijvers, Bart Demoen, David Scott Warren
2007	B	`conf`	The Correspondence Between the Logical Algorithms Language and CHR. ICLP Leslie De Koninck, Tom Schrijvers, Bart Demoen
2007	C	`conf`	User-definable rule priorities for CHR. PPDP Leslie De Koninck, Tom Schrijvers, Bart Demoen
2006	—	`conf`	Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP Jon Sneyers, Tom Schrijvers, Bart Demoen
2006	—	`conf`	INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP Leslie De Koninck, Tom Schrijvers, Bart Demoen
2006	J	`jnl`	Improving PARMA trailing. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
2006	B	`conf`	Memory Reuse for CHR. ICLP Jon Sneyers, Tom Schrijvers, Bart Demoen
2006	J	`jnl`	Optimal union-find in Constraint Handling Rules. Theory Pract. Log. Program. Tom Schrijvers, Thom W. Frühwirth
2006	C	`conf`	Polymorphic algebraic data type reconstruction. PPDP Tom Schrijvers, Maurice Bruynooghe
2006	B	`conf`	Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
2005	C	`conf`	Abstract interpretation for constraint handling rules. PPDP Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
2005	B	`conf`	Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. ICLP Tom Schrijvers
2005	—	`conf`	Analysing the CHR Implementation of Union-Find. W(C)LP Tom Schrijvers, Thom W. Frühwirth
2005	—	`conf`	Automatic Implication Checking for CHR Constraints. RULE@RDP Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
2005	—	`conf`	Guard Simplification in CHR programs. W(C)LP Jon Sneyers, Tom Schrijvers, Bart Demoen
2005	B	`conf`	Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP Jon Sneyers, Tom Schrijvers, Bart Demoen
2005	J	`jnl`	Improving PARMA Trailing CoRR Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey
2005	J	`jnl`	Optimal Union-Find in Constraint Handling Rules CoRR Tom Schrijvers, Thom W. Frühwirth
2004	B	`conf`	Constraint Handling Rules and Tabled Execution. ICLP Tom Schrijvers, David Scott Warren
2004	J	`jnl`	Improving Prolog Programs: Refactoring for Prolog CoRR Tom Schrijvers, Alexander Serebrenik
2004	B	`conf`	Improving Prolog Programs: Refactoring for Prolog. ICLP Tom Schrijvers, Alexander Serebrenik
2004	B	`conf`	JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. ICLP Tom Schrijvers
2002	C	`conf`	Combining an improvement to PARMA trailing with trailing analysis. PPDP Tom Schrijvers, Bart Demoen
2002	B	`conf`	Trailing Analysis for HAL. ICLP Tom Schrijvers, Maria J. García de la Banda, Bart Demoen