Tom Schrijvers

According to our database, Tom Schrijvers authored at least 142 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Disjunctive Delimited Control.

Alexander Vandenbroucke, Tom Schrijvers

Theory Pract. Log. Program., January, 2024

Forward- or reverse-mode automatic differentiation: What's the difference?

Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke

Sci. Comput. Program., January, 2024

A framework for higher-order effects & handlers.

Birthe van den Berg, Tom Schrijvers

Sci. Comput. Program., 2024

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs.

Jack Liell-Cock, Tom Schrijvers

Art Sci. Eng. Program., 2024

Declarative Pearl: Rigged Contracts.

Alexander Vandenbroucke, Tom Schrijvers

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2023

Automatic Differentiation in Prolog.

Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi

Theory Pract. Log. Program., July, 2023

From High to Low: Simulating Nondeterminism and State with State.

Wenhao Tang, Tom Schrijvers

CoRR, 2023

A Calculus for Scoped Effects & Handlers.

Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers

CoRR, 2023

sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper).

Birthe van den Berg, Tom Schrijvers, Peter Dedecker

Proceedings of the Practical Aspects of Declarative Languages, 2023

No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.

Roger Bosman, Georgios Karachalias, Tom Schrijvers

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

eTeacher: A Pilot in Flemish Secondary Education.

Jesse Hoobergs, Birthe van den Berg, Tom Schrijvers

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

Phases in Software Architecture.

Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

Fusing industry and academia at GitHub (experience report).

Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers

Proc. ACM Program. Lang., 2022

Structured Handling of Scoped Effects: Extended Version.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

CoRR, 2022

Breadth-First Traversal via Staging.

Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Oregano: staging regular expressions with Moore Cayley fusion.

Jamie Willis, Nicolas Wu, Tom Schrijvers

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl.

Birthe van den Berg, Tom Schrijvers

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

Structured Handling of Scoped Effects.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2022

2021

Algorithmics.

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

Proceedings of the Advancing Research in Information and Communication Technology, 2021

Efficient compilation of algebraic effect handlers.

Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers

Proc. ACM Program. Lang., 2021

Special Issue on Probabilistic Logic Programming (PLP 2018).

Elena Bellodi, Tom Schrijvers

Int. J. Approx. Reason., 2021

Latent Effects for Reusable Language Components: Extended Version.

Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

CoRR, 2021

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts.

César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai

Proceedings of the Formal Methods - 24th International Symposium, 2021

Latent Effects for Reusable Language Components.

Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Consistent Subtyping for All.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

ACM Trans. Program. Lang. Syst., 2020

PλωNK: functional probabilistic NetKAT.

Alexander Vandenbroucke, Tom Schrijvers

Proc. ACM Program. Lang., 2020

Resolution as intersection subtyping via Modus Ponens.

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Proc. ACM Program. Lang., 2020

Faster coroutine pipelines: A reconstruction.

Ruben P. Pieters, Tom Schrijvers

J. Funct. Program., 2020

Generalized monoidal effects and handlers.

Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers

J. Funct. Program., 2020

Explicit effect subtyping.

Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers

J. Funct. Program., 2020

State Will do.

Willem Seynaeve, Koen Pauwels, Tom Schrijvers

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

PaSe: An Extensible and Inspectable DSL for Micro-Animations.

Ruben P. Pieters, Tom Schrijvers

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Row and Bounded Polymorphism via Disjoint Polymorphism.

Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic.

Dörthe Arndt, Tom Schrijvers, Jos De Roo, Ruben Verborgh

J. Web Semant., 2019

A mechanical formalization of higher-ranked polymorphic type inference.

Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers

Proc. ACM Program. Lang., 2019

Coherence of type class resolution.

Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers

Proc. ACM Program. Lang., 2019

COCHIS: Stable and coherent implicits.

Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian

J. Funct. Program., 2019

Lazy Stream Programming in Prolog.

Paul Tarau, Jan Wielemaker, Tom Schrijvers

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Bidirectional Type Class Instances (Extended Version).

Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers

CoRR, 2019

Handling Local State with Global State.

Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

CONDEnSe: Contract Based Design Synthesis.

César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Monad transformers and modular algebraic effects: what binds them together.

Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Bidirectional type class instances.

Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Distributive Disjoint Polymorphism for Compositional Programming.

Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2019

2018

A unified view of monadic and applicative non-determinism.

Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers

Sci. Comput. Program., 2018

The Essence of Nested Composition (Artifact).

Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

Dagstuhl Artifacts Ser., 2018

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172).

Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers

Dagstuhl Reports, 2018

Syntax and Semantics for Operations with Scopes.

Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Formalization of a Polymorphic Subtyping Algorithm.

Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Explicit Effect Subtyping.

Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2018

The Essence of Nested Composition.

Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

From PRISM to ProbLog and Back Again.

Alexander Vandenbroucke, Tom Schrijvers

Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017

Handlers for Non-Monadic Computations.

Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!

Georgios Karachalias, Tom Schrijvers

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Quantified class constraints.

Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Tabling with Sound Answer Subsumption.

Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers

Theory Pract. Log. Program., 2016

Efficient algebraic effect handlers for Prolog.

Amr Hany Saleh, Tom Schrijvers

Theory Pract. Log. Program., 2016

From MinX to MinC: semantics-driven decompilation of recursive datatypes.

Edward Robbins, Andy King, Tom Schrijvers

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Tabling as a Library with Delimited Control.

Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Proof Relevant Corecursive Resolution.

Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Needle & Knot: Binder Boilerplate Tied Up.

Steven Keuchel, Stephanie Weirich, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2016

2015

Tabling as a library with delimited control.

Benoit Desouter, Marko van Dooren, Tom Schrijvers

Theory Pract. Log. Program., 2015

Preface for SCP special issue on Principles and Practice of Declarative Programming.

Tom Schrijvers

Sci. Comput. Program., 2015

Reasoning about modular datatypes with Mendler induction.

Paolo Torrini, Tom Schrijvers

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

The Future of Programming is Functional.

Tom Schrijvers

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

From monoids to near-semirings: the essence of MonadPlus and alternative.

Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Fusion for Free - Efficient Algebraic Effect Handlers.

Nicolas Wu, Tom Schrijvers

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Fixing non-determinism.

Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.

Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Introduction to the 30th International Conference on Logic Programming Special Issue.

Michael Leuschel, Tom Schrijvers

Theory Pract. Log. Program., 2014

Tor: Modular search with hookable disjunction.

Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter

Sci. Comput. Program., 2014

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation.

Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Partial Type Signatures for Haskell.

Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers

Proceedings of the Practical Aspects of Declarative Languages, 2014

Effect handlers in scope.

Nicolas Wu, Tom Schrijvers, Ralf Hinze

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

Compositional reasoning about aspect interference.

Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter

Proceedings of the 13th International Conference on Modularity, 2014

2013

Delimited continuations for prolog.

Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker

Theory Pract. Log. Program., 2013

Integrating Datalog and Constraint Solving.

Benoit Desouter, Tom Schrijvers

CoRR, 2013

Search combinators.

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

Constraints An Int. J., 2013

Meta-theory à la carte.

Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Generic datatypes à la carte.

Steven Keuchel, Tom Schrijvers

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

Modular monadic meta-theory.

Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Understanding idiomatic traversals backwards and forwards.

Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

Automated Design of Search with Composability.

Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack

Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012

SWI-Prolog.

Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager

Theory Pract. Log. Program., 2012

MRI: Modular reasoning about interference in incremental programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

J. Funct. Program., 2012

Extended Report: The Implicit Calculus

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

CoRR, 2012

Tor: extensible search with hookable disjunction.

Tom Schrijvers, Markus Triska, Bart Demoen

Proceedings of the Principles and Practice of Declarative Programming, 2012

The implicit calculus: a new foundation for generic programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation.

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers

Proceedings of the Practical Aspects of Declarative Languages, 2012

An Introduction to Search Combinators.

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

OutsideIn(X) Modular type inference with local assumptions.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann

J. Funct. Program., 2011

Approximating Constraint Propagation in Datalog

Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers

CoRR, 2011

Memoizing a Monadic Mixin DSL.

Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey

Proceedings of the Functional and Constraint Logic Programming, 2011

Monads, zippers and views: virtualizing the monad stack.

Tom Schrijvers, Bruno C. d. S. Oliveira

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

As time goes by: Constraint Handling Rules.

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck

Theory Pract. Log. Program., 2010

Parameterized Models for On-Line and Off-Line Use.

Pieter Wuille, Tom Schrijvers

Proceedings of the Functional and Constraint Logic Programming, 2010

Let should not be generalized.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Strictness Meets Data Flow.

Tom Schrijvers, Alan Mycroft

Proceedings of the Static Analysis - 17th International Symposium, 2010

Haskell Type Constraints Unleashed.

Dominic A. Orchard, Tom Schrijvers

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

EffectiveAdvice: disciplined advice with explicit effects.

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

The computational power and complexity of constraint handling rules.

Jon Sneyers, Tom Schrijvers, Bart Demoen

ACM Trans. Program. Lang. Syst., 2009

Monadic constraint programming.

Tom Schrijvers, Peter J. Stuckey, Philip Wadler

J. Funct. Program., 2009

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck

CoRR, 2009

Type invariants for Haskell.

Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

A Transformational Approach for Proving Properties of the CHR Constraint Store.

Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Towards a Framework for Constraint-Based Test Case Generation.

François Degrave, Tom Schrijvers, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Attributed Data for CHR Indexing.

Beata Sarna-Starosta, Tom Schrijvers

Proceedings of the Logic Programming, 25th International Conference, 2009

Complete and decidable type inference for GADTs.

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

CHR for Imperative Host Languages.

Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen

Proceedings of the Constraint Handling Rules, 2008

Guard Reasoning in the Refined Operational Semantics of CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the Constraint Handling Rules, 2008

A Flexible Search Framework for CHR.

Leslie De Koninck, Tom Schrijvers, Bart Demoen

Proceedings of the Constraint Handling Rules, 2008

Improving Prolog programs: Refactoring for Prolog.

Alexander Serebrenik, Tom Schrijvers, Bart Demoen

Theory Pract. Log. Program., 2008

TCHR: a framework for tabled CLP.

Tom Schrijvers, Bart Demoen, David Scott Warren

Theory Pract. Log. Program., 2008

Confluence for Functional Dependencies.

Tom Schrijvers, Martin Sulzmann

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

From Monomorphic to Polymorphic Well-Typings and Beyond.

Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Automatic Generation of Test Inputs for Mercury.

François Degrave, Tom Schrijvers, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Transactions in Constraint Handling Rules.

Tom Schrijvers, Martin Sulzmann

Proceedings of the Logic Programming, 24th International Conference, 2008

Uniting the Prolog Community.

Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 24th International Conference, 2008

Towards Typed Prolog.

Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen

Proceedings of the Logic Programming, 24th International Conference, 2008

Constraint Handling Rules.

Tom Schrijvers

Proceedings of the Logic Programming, 24th International Conference, 2008

Type checking with open type functions.

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

User-definable rule priorities for CHR.

Leslie De Koninck, Tom Schrijvers, Bart Demoen

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Aggregates in Constraint Handling Rules.

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 23rd International Conference, 2007

The Correspondence Between the Logical Algorithms Language and CHR.

Leslie De Koninck, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Optimal union-find in Constraint Handling Rules.

Tom Schrijvers, Thom W. Frühwirth

Theory Pract. Log. Program., 2006

Improving PARMA trailing.

Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey

Theory Pract. Log. Program., 2006

Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the 20th Workshop on Logic Programming, 2006

INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.

Leslie De Koninck, Tom Schrijvers, Bart Demoen

Proceedings of the 20th Workshop on Logic Programming, 2006

Polymorphic algebraic data type reconstruction.

Tom Schrijvers, Maurice Bruynooghe

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Memory Reuse for CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 22nd International Conference, 2006

Principal Type Inference for GHC-Style Multi-parameter Type Classes.

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Automatic Implication Checking for CHR Constraints.

Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Guard Simplification in CHR programs.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Analysing the CHR Implementation of Union-Find.

Tom Schrijvers, Thom W. Frühwirth

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Abstract interpretation for constraint handling rules.

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Guard and Continuation Optimization for Occurrence Representations of CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 21st International Conference, 2005

Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.

Tom Schrijvers

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Constraint Handling Rules and Tabled Execution.

Tom Schrijvers, David Scott Warren

Proceedings of the Logic Programming, 20th International Conference, 2004

Improving Prolog Programs: Refactoring for Prolog.

Tom Schrijvers, Alexander Serebrenik

Proceedings of the Logic Programming, 20th International Conference, 2004

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR.

Tom Schrijvers

Proceedings of the Logic Programming, 20th International Conference, 2004

2002

Combining an improvement to PARMA trailing with trailing analysis.

Tom Schrijvers, Bart Demoen

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Trailing Analysis for HAL.

Tom Schrijvers, Maria J. García de la Banda, Bart Demoen

Proceedings of the Logic Programming, 18th International Conference, 2002