Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarTom Schrijvers
Person information
- affiliation: Catholic University of Leuven, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j20]Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152: 70-98 (2018)- [c69]Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers:
The Essence of Nested Composition. ECOOP 2018: 22:1-22:33 - [c68]Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers:
Explicit Effect Subtyping. ESOP 2018: 327-354 - [c67]Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers:
Formalization of a Polymorphic Subtyping Algorithm. ITP 2018: 604-622 - [c66]Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff:
Syntax and Semantics for Operations with Scopes. LICS 2018: 809-818 - 2017
- [c65]Georgios Karachalias, Tom Schrijvers:
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Haskell 2017: 133-147 - [c64]Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler:
Quantified class constraints. Haskell 2017: 148-161 - [c63]
- 2016
- [j19]Amr Hany Saleh, Tom Schrijvers:
Efficient algebraic effect handlers for Prolog. TPLP 16(5-6): 884-898 (2016) - [j18]Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers:
Tabling with Sound Answer Subsumption. TPLP 16(5-6): 933-949 (2016) - [c62]Steven Keuchel, Stephanie Weirich, Tom Schrijvers:
Needle & Knot: Binder Boilerplate Tied Up. ESOP 2016: 419-445 - [c61]Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond:
Proof Relevant Corecursive Resolution. FLOPS 2016: 126-143 - [c60]Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke:
Tabling as a Library with Delimited Control. IJCAI 2016: 4145-4149 - [c59]Edward Robbins, Andy King, Tom Schrijvers:
From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL 2016: 191-203 - [e4]Tom Schrijvers:
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016. ACM 2016, ISBN 978-1-4503-4767-9 [contents] - [i15]Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers:
Tabling with Sound Answer Subsumption. CoRR abs/1608.00787 (2016) - [i14]Amr Hany Saleh, Tom Schrijvers:
Efficient Algebraic Effect Handlers for Prolog. CoRR abs/1608.00816 (2016) - 2015
- [j17]Tom Schrijvers:
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 111: 1-2 (2015) - [j16]Benoit Desouter, Marko van Dooren, Tom Schrijvers:
Tabling as a library with delimited control. TPLP 15(4-5): 419-433 (2015) - [c58]Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones:
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ICFP 2015: 424-436 - [c57]
- [c56]Nicolas Wu, Tom Schrijvers:
Fusion for Free - Efficient Algebraic Effect Handlers. MPC 2015: 302-322 - [c55]Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP 2015: 196-207 - [c54]
- [c53]Paolo Torrini, Tom Schrijvers:
Reasoning about modular datatypes with Mendler induction. FICS 2015: 143-157 - [i13]Benoit Desouter, Tom Schrijvers, Marko van Dooren:
Tabling as a Library with Delimited Control. CoRR abs/1507.08087 (2015) - [i12]Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond:
Proof Relevant Corecursive Resolution. CoRR abs/1511.09394 (2015) - 2014
- [j15]Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter:
Tor: Modular search with hookable disjunction. Sci. Comput. Program. 84: 101-120 (2014) - [j14]Michael Leuschel, Tom Schrijvers:
Introduction to the 30th International Conference on Logic Programming Special Issue. TPLP 14(4-5): 401-414 (2014) - [c52]Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter:
Compositional reasoning about aspect interference. MODULARITY 2014: 133-144 - [c51]
- [c50]Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers:
Partial Type Signatures for Haskell. PADL 2014: 17-32 - [c49]Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen:
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP 2014: 259-270 - 2013
- [j13]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search combinators. Constraints 18(2): 269-305 (2013) - [j12]Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker:
Delimited continuations for prolog. TPLP 13(4-5): 533-546 (2013) - [c48]Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013 - [c47]Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers:
Understanding idiomatic traversals backwards and forwards. Haskell 2013: 25-36 - [c46]
- [c45]Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira:
Modular monadic meta-theory. ICFP 2013: 319-330 - [c44]Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers:
Meta-theory à la carte. POPL 2013: 207-218 - [e3]Ricardo Peña, Tom Schrijvers:
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. ACM 2013, ISBN 978-1-4503-2154-9 [contents] - [i11]Benoit Desouter, Tom Schrijvers:
Integrating Datalog and Constraint Solving. CoRR abs/1307.4635 (2013) - 2012
- [j11]Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook:
MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22(6): 797-852 (2012) - [j10]Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager:
SWI-Prolog. TPLP 12(1-2): 67-96 (2012) - [c43]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
An Introduction to Search Combinators. LOPSTR 2012: 2-16 - [c42]Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers:
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. PADL 2012: 108-122 - [c41]Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi:
The implicit calculus: a new foundation for generic programming. PLDI 2012: 35-44 - [c40]Tom Schrijvers, Markus Triska, Bart Demoen:
Tor: extensible search with hookable disjunction. PPDP 2012: 103-114 - [e2]Tom Schrijvers, Peter Thiemann:
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7294, Springer 2012, ISBN 978-3-642-29821-9 [contents] - [i10]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CoRR abs/1203.1095 (2012) - [i9]Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi:
Extended Report: The Implicit Calculus. CoRR abs/1203.4499 (2012) - 2011
- [j9]Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann:
OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21(4-5): 333-412 (2011) - [c39]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CP 2011: 774-788 - [c38]Tom Schrijvers, Bruno C. d. S. Oliveira:
Monads, zippers and views: virtualizing the monad stack. ICFP 2011: 32-44 - [c37]Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey:
Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85 - [i8]Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers:
Approximating Constraint Propagation in Datalog. CoRR abs/1112.3787 (2011) - 2010
- [j8]Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck:
As time goes by: Constraint Handling Rules. TPLP 10(1): 1-47 (2010) - [c36]Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook:
EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120 - [c35]
- [c34]
- [c33]Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers:
Let should not be generalized. TLDI 2010: 39-50 - [c32]Pieter Wuille, Tom Schrijvers:
Parameterized Models for On-Line and Off-Line Use. WFLP 2010: 101-118 - [i7]Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager:
SWI-Prolog. CoRR abs/1011.5332 (2010)
2000 – 2009
- 2009
- [j7]Tom Schrijvers, Peter J. Stuckey, Philip Wadler:
Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009) - [j6]Jon Sneyers, Tom Schrijvers, Bart Demoen:
The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): 8:1-8:42 (2009) - [c31]Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis:
Complete and decidable type inference for GADTs. ICFP 2009: 341-352 - [c30]
- [c29]Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe:
A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR 2009: 22-36 - [c28]François Degrave, Tom Schrijvers, Wim Vanhoof:
Towards a Framework for Constraint-Based Test Case Generation. LOPSTR 2009: 128-142 - [c27]Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier:
Type invariants for Haskell. PLPV 2009: 39-48 - [i6]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 abs/0906.4474 (2009) - 2008
- [j5]Alexander Serebrenik, Tom Schrijvers, Bart Demoen:
Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008) - [j4]Tom Schrijvers, Bart Demoen, David Scott Warren:
TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008) - [c26]Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann:
Type checking with open type functions. ICFP 2008: 51-62 - [c25]
- [c24]
- [c23]
- [c22]Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen:
Towards Typed Prolog. ICLP 2008: 693-697 - [c21]François Degrave, Tom Schrijvers, Wim Vanhoof:
Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86 - [c20]Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher:
From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR 2008: 152-167 - [c19]Tom Schrijvers, Martin Sulzmann:
Confluence for Functional Dependencies. Trends in Functional Programming 2008: 49-64 - [p3]Leslie De Koninck, Tom Schrijvers, Bart Demoen:
A Flexible Search Framework for CHR. Constraint Handling Rules 2008: 16-47 - [p2]Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen:
CHR for Imperative Host Languages. Constraint Handling Rules 2008: 161-212 - [p1]Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules 2008: 213-244 - [e1]Tom Schrijvers, Thom W. Frühwirth:
Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science 5388, Springer 2008, ISBN 978-3-540-92242-1 [contents] - 2007
- [c18]Leslie De Koninck, Tom Schrijvers, Bart Demoen:
The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223 - [c17]Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen:
Aggregates in Constraint Handling Rules. ICLP 2007: 446-448 - [c16]Leslie De Koninck, Tom Schrijvers, Bart Demoen:
User-definable rule priorities for CHR. PPDP 2007: 25-36 - [i5]Tom Schrijvers, Bart Demoen, David Scott Warren:
TCHR: a framework for tabled CLP. CoRR abs/0712.3830 (2007) - [i4]Alexander Serebrenik, Tom Schrijvers, Bart Demoen:
Improving Prolog programs: Refactoring for Prolog. CoRR abs/cs/0702083 (2007) - 2006
- [j3]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. 147(1): 93-111 (2006) - [j2]Tom Schrijvers, Thom W. Frühwirth:
Optimal union-find in Constraint Handling Rules. TPLP 6(1-2): 213-224 (2006) - [j1]Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey:
Improving PARMA trailing. TPLP 6(6): 609-644 (2006) - [c15]Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey:
Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43 - [c14]
- [c13]Tom Schrijvers, Maurice Bruynooghe:
Polymorphic algebraic data type reconstruction. PPDP 2006: 85-96 - [c12]Leslie De Koninck, Tom Schrijvers, Bart Demoen:
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP 2006: 91-100 - [c11]Jon Sneyers, Tom Schrijvers, Bart Demoen:
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191 - 2005
- [c10]Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP 2005: 83-97 - [c9]Tom Schrijvers:
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. ICLP 2005: 435-436 - [c8]Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck:
Abstract interpretation for constraint handling rules. PPDP 2005: 218-229 - [c7]Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Simplification in CHR programs. W(C)LP 2005: 123-134 - [c6]Tom Schrijvers, Thom W. Frühwirth:
Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146 - [i3]Tom Schrijvers, Thom W. Frühwirth:
Optimal Union-Find in Constraint Handling Rules. CoRR abs/cs/0501073 (2005) - [i2]Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey:
Improving PARMA Trailing. CoRR abs/cs/0505085 (2005) - 2004
- [c5]Tom Schrijvers, Alexander Serebrenik:
Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72 - [c4]Tom Schrijvers, David Scott Warren:
Constraint Handling Rules and Tabled Execution. ICLP 2004: 120-136 - [c3]Tom Schrijvers:
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. ICLP 2004: 475-476 - [i1]Tom Schrijvers, Alexander Serebrenik:
Improving Prolog Programs: Refactoring for Prolog. CoRR cs.SE/0406026 (2004) - 2002
- [c2]Tom Schrijvers, Maria J. García de la Banda, Bart Demoen:
Trailing Analysis for HAL. ICLP 2002: 38-53 - [c1]Tom Schrijvers, Bart Demoen:
Combining an improvement to PARMA trailing with trailing analysis. PPDP 2002: 88-98
Coauthor Index
maintained by 
at 
at 
last updated on 2018-08-13 19:33 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint