| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
Extended Report: The Implicit Calculus  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Peter Thiemann (eds.) |
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
Approximating Constraint Propagation in Datalog |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann |
OutsideIn(X) Modular type inference with local assumptions. |
J. Funct. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bruno C. d. S. Oliveira |
Monads, zippers and views: virtualizing the monad stack. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey |
Memoizing a Monadic Mixin DSL. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager |
SWI-Prolog |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck |
As time goes by: Constraint Handling Rules. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook |
EffectiveAdvice: disciplined advice with explicit effects. |
AOSD |
2010 |
DBLP DOI BibTeX RDF |
AOP, interference, monads, parametricity, mixins |
| 1 | Dominic A. Orchard, Tom Schrijvers |
Haskell Type Constraints Unleashed. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers |
Let should not be generalized. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
type families, haskell, type inference, type classes, generalized algebraic data types |
| 1 | Tom Schrijvers, Alan Mycroft |
Strictness Meets Data Flow. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Wuille, Tom Schrijvers |
Parameterized Models for On-Line and Off-Line Use. |
WFLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
The computational power and complexity of constraint handling rules. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
constant factors, complexity, Constraint Handling Rules |
| 1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck |
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Peter J. Stuckey, Philip Wadler |
Monadic constraint programming. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier |
Type invariants for Haskell. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
type families, type functions, haskell, type checking |
| 1 | Beata Sarna-Starosta, Tom Schrijvers |
Attributed Data for CHR Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
term representation, attributed variables, indexing, program transformation, Constraint Handling Rules |
| 1 | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
Complete and decidable type inference for GADTs. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Haskell, type inference, GADTs |
| 1 | François Degrave, Tom Schrijvers, Wim Vanhoof |
Towards a Framework for Constraint-Based Test Case Generation. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
A Transformational Approach for Proving Properties of the CHR Constraint Store. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, David Scott Warren |
TCHR: a framework for tabled CLP. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
A Flexible Search Framework for CHR. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Reasoning in the Refined Operational Semantics of CHR. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Thom W. Frühwirth (eds.) |
Constraint Handling Rules, Current Research Topics |
|
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen |
CHR for Imperative Host Languages. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers |
Constraint Handling Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Martin Sulzmann |
Transactions in Constraint Handling Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen |
Uniting the Prolog Community. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
Type checking with open type functions. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type families, type functions, Haskell, type checking |
| 1 | François Degrave, Tom Schrijvers, Wim Vanhoof |
Automatic Generation of Test Inputs for Mercury. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
From Monomorphic to Polymorphic Well-Typings and Beyond. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, David Scott Warren |
TCHR: a framework for tabled CLP |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
The Correspondence Between the Logical Algorithms Language and CHR. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
Aggregates in Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
User-definable rule priorities for CHR. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
rule priorities, constraint handling rules, execution control |
| 1 | Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth |
Automatic Implication Checking for CHR Constraints. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey |
Improving PARMA trailing. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Thom W. Frühwirth |
Optimal union-find in Constraint Handling Rules. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Memory Reuse for CHR. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
Principal Type Inference for GHC-Style Multi-parameter Type Classes. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey |
Improving PARMA Trailing |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Thom W. Frühwirth |
Optimal Union-Find in Constraint Handling Rules |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard and Continuation Optimization for Occurrence Representations of CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers |
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
Abstract interpretation for constraint handling rules. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, constraint handling rules |
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Simplification in CHR programs. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Thom W. Frühwirth |
Analysing the CHR Implementation of Union-Find. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Alexander Serebrenik |
Improving Prolog Programs: Refactoring for Prolog |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers |
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Alexander Serebrenik |
Improving Prolog Programs: Refactoring for Prolog. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, David Scott Warren |
Constraint Handling Rules and Tabled Execution. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen |
Trailing Analysis for HAL. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen |
Combining an improvement to PARMA trailing with trailing analysis. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
PARMA, program analysis, trailing |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")