default search action
Tom Schrijvers
Person information
- affiliation: Catholic University of Leuven, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2025
- [j41]Ruifeng Xie
, Tom Schrijvers
Biparsers: Exact Printing for Data Synchronisation. Proc. ACM Program. Lang. 9(POPL): 2205-2231 (2025) - 2024
- [j40]Wenhao Tang
From high to low: Simulating nondeterminism and state with state. J. Funct. Program. 34 (2024) - [j39]Roger Bosman, Birthe van den Berg, Wenhao Tang
A Calculus for Scoped Effects & Handlers. Log. Methods Comput. Sci. 20(4) (2024) - [j38]Jack Liell-Cock
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. Art Sci. Eng. Program. 8(3) (2024) - [j37]Birthe van den Berg
Forward- or reverse-mode automatic differentiation: What's the difference? Sci. Comput. Program. 231: 103010 (2024) - [j36]Birthe van den Berg
A framework for higher-order effects & handlers. Sci. Comput. Program. 234: 103086 (2024) - [j35]Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. Theory Pract. Log. Program. 24(1): 110-131 (2024) - 2023
- [j34]Tom Schrijvers
Automatic Differentiation in Prolog. Theory Pract. Log. Program. 23(4): 900-917 (2023) - 2022
- [j33]Patrick Thomson
Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. 6(ICFP): 496-511 (2022) - 2021
- [j32]Elena Bellodi, Tom Schrijvers
Special Issue on Probabilistic Logic Programming (PLP 2018). Int. J. Approx. Reason. 132: 86-87 (2021) - [j31]Georgios Karachalias, Filip Koprivec
Efficient compilation of algebraic effect handlers. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - 2020
- [j30]Georgios Karachalias, Matija Pretnar
Explicit effect subtyping. J. Funct. Program. 30: e15 (2020) - [j29]Ruben P. Pieters
Faster coroutine pipelines: A reconstruction. J. Funct. Program. 30: e22 (2020) - [j28]Ruben P. Pieters, Exequiel Rivas
Generalized monoidal effects and handlers. J. Funct. Program. 30: e23 (2020) - [j27]Koar Marntirosian, Tom Schrijvers
Resolution as intersection subtyping via Modus Ponens. Proc. ACM Program. Lang. 4(OOPSLA): 206:1-206:30 (2020) - [j26]Alexander Vandenbroucke, Tom Schrijvers
PλωNK: functional probabilistic NetKAT. Proc. ACM Program. Lang. 4(POPL): 39:1-39:27 (2020) - [j25]Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
Consistent Subtyping for All. ACM Trans. Program. Lang. Syst. 42(1): 2:1-2:79 (2020) - 2019
- [j24]Tom Schrijvers
COCHIS: Stable and coherent implicits. J. Funct. Program. 29: e3 (2019) - [j23]Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of type class resolution. Proc. ACM Program. Lang. 3(ICFP): 91:1-91:28 (2019) - [j22]Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
A mechanical formalization of higher-ranked polymorphic type inference. Proc. ACM Program. Lang. 3(ICFP): 112:1-112:29 (2019) - [j21]Dörthe Arndt, Tom Schrijvers
Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic. J. Web Semant. 58 (2019) - 2018
- [j20]Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers:
The Essence of Nested Composition (Artifact). Dagstuhl Artifacts Ser. 4(3): 05:1-05:2 (2018) - [j19]Exequiel Rivas
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152: 70-98 (2018) - 2016
- [j18]Amr Hany Saleh, Tom Schrijvers
Efficient algebraic effect handlers for Prolog. Theory Pract. Log. Program. 16(5-6): 884-898 (2016) - [j17]Alexander Vandenbroucke, Maciej Piróg
Tabling with Sound Answer Subsumption. Theory Pract. Log. Program. 16(5-6): 933-949 (2016) - 2015
- [j16]Tom Schrijvers
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 111: 1-2 (2015) - [j15]Benoit Desouter, Marko van Dooren, Tom Schrijvers
Tabling as a library with delimited control. Theory Pract. Log. Program. 15(4-5): 419-433 (2015) - 2014
- [j14]Tom Schrijvers
Tor: Modular search with hookable disjunction. Sci. Comput. Program. 84: 101-120 (2014) - [j13]Michael Leuschel, Tom Schrijvers
Introduction to the 30th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 14(4-5): 401-414 (2014) - 2013
- [j12]Tom Schrijvers
Search combinators. Constraints An Int. J. 18(2): 269-305 (2013) - [j11]Tom Schrijvers
Delimited continuations for prolog. Theory Pract. Log. Program. 13(4-5): 533-546 (2013) - 2012
- [j10]Bruno C. d. S. Oliveira, Tom Schrijvers
MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22(6): 797-852 (2012) - [j9]Jan Wielemaker
SWI-Prolog. Theory Pract. Log. Program. 12(1-2): 67-96 (2012) - 2011
- [j8]Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers
OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21(4-5): 333-412 (2011) - 2010
- [j7]Jon Sneyers, Peter Van Weert, Tom Schrijvers
As time goes by: Constraint Handling Rules. Theory Pract. Log. Program. 10(1): 1-47 (2010) - 2009
- [j6]Tom Schrijvers
Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009) - [j5]Jon Sneyers, Tom Schrijvers
The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): 8:1-8:42 (2009) - 2008
- [j4]Alexander Serebrenik
Improving Prolog programs: Refactoring for Prolog. Theory Pract. Log. Program. 8(2): 201-215 (2008) - [j3]Tom Schrijvers
TCHR: a framework for tabled CLP. Theory Pract. Log. Program. 8(4): 491-526 (2008) - 2006
- [j2]Tom Schrijvers
Optimal union-find in Constraint Handling Rules. Theory Pract. Log. Program. 6(1-2): 213-224 (2006) - [j1]Tom Schrijvers
Improving PARMA trailing. Theory Pract. Log. Program. 6(6): 609-644 (2006)
Conference and Workshop Papers
- 2025
- [c96]Jesse Hoobergs
Source Code Without Implicitness: Explicit Source Prose For Programming Education. UKICER 2025: 7:1-7:7 - 2024
- [c95]Alexander Vandenbroucke
Declarative Pearl: Rigged Contracts. FLOPS 2024: 99-114 - [c94]Johannes Hartmann, Tom Schrijvers
Towards a More Efficient Selection Monad. TFP 2024: 55-74 - [c93]Lucas Van Praet
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises. SPLASH-E 2024: 66-76 - 2023
- [c92]Jeremy Gibbons, Donnacha Oisín Kidney
Phases in Software Architecture. FUNARCH 2023: 29-33 - [c91]Jesse Hoobergs
eTeacher: A Pilot in Flemish Secondary Education. ITiCSE (2) 2023: 593-594 - [c90]Roger Bosman
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP 2023: 8:1-8:18 - [c89]Birthe van den Berg
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). PADL 2023: 73-82 - 2022
- [c88]Zhixuan Yang
Structured Handling of Scoped Effects. ESOP 2022: 462-491 - [c87]Birthe van den Berg
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. FLOPS 2022: 186-204 - [c86]Jamie Willis, Nicolas Wu
Oregano: staging regular expressions with Moore Cayley fusion. Haskell 2022: 66-80 - [c85]Jeremy Gibbons
Breadth-First Traversal via Staging. MPC 2022: 1-33 - 2021
- [c84]Birthe van den Berg
Latent Effects for Reusable Language Components. APLAS 2021: 182-201 - [c83]César Augusto Ribeiro dos Santos, Tom Schrijvers
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. FM 2021: 776-787 - [c82]Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. LOPSTR 2021: 75-91 - 2020
- [c81]Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
Row and Bounded Polymorphism via Disjoint Polymorphism. ECOOP 2020: 27:1-27:30 - [c80]Ruben P. Pieters
PaSe: An Extensible and Inspectable DSL for Micro-Animations. TFP 2020: 3-24 - [c79]Willem Seynaeve, Koen Pauwels, Tom Schrijvers
State Will do. TFP 2020: 204-225 - 2019
- [c78]Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
Distributive Disjoint Polymorphism for Compositional Programming. ESOP 2019: 381-409 - [c77]Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
Bidirectional type class instances. Haskell@ICFP 2019: 30-43 - [c76]Tom Schrijvers
Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP 2019: 98-113 - [c75]César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers
CONDEnSe: Contract Based Design Synthesis. MoDELS 2019: 250-260 - [c74]Koen Pauwels, Tom Schrijvers
Handling Local State with Global State. MPC 2019: 18-44 - [c73]Ruben P. Pieters
Faster Coroutine Pipelines: A Reconstruction. PADL 2019: 133-149 - [c72]Paul Tarau, Jan Wielemaker, Tom Schrijvers
Lazy Stream Programming in Prolog. ICLP Technical Communications 2019: 224-237 - 2018
- [c71]Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
The Essence of Nested Composition. ECOOP 2018: 22:1-22:33 - [c70]Amr Hany Saleh, Georgios Karachalias, Matija Pretnar
Explicit Effect Subtyping. ESOP 2018: 327-354 - [c69]Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
Formalization of a Polymorphic Subtyping Algorithm. ITP 2018: 604-622 - [c68]Maciej Piróg
Syntax and Semantics for Operations with Scopes. LICS 2018: 809-818 - 2017
- [c67]Georgios Karachalias, Tom Schrijvers
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Haskell 2017: 133-147 - [c66]Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers
Quantified class constraints. Haskell 2017: 148-161 - [c65]Ruben P. Pieters, Tom Schrijvers
Handlers for Non-Monadic Computations. IFL 2017: 4:1-4:11 - [c64]Alexander Vandenbroucke, Tom Schrijvers:
From PRISM to ProbLog and Back Again. PLP@ILP 2017: 26-40 - 2016
- [c63]Steven Keuchel
Needle & Knot: Binder Boilerplate Tied Up. ESOP 2016: 419-445 - [c62]Peng Fu
Proof Relevant Corecursive Resolution. FLOPS 2016: 126-143 - [c61]Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke:
Tabling as a Library with Delimited Control. IJCAI 2016: 4145-4149 - [c60]Edward Robbins
From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL 2016: 191-203 - 2015
- [c59]Georgios Karachalias, Tom Schrijvers
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ICFP 2015: 424-436 - [c58]Alexander Vandenbroucke, Tom Schrijvers
Fixing non-determinism. IFL 2015: 5:1-5:12 - [c57]Nicolas Wu
Fusion for Free - Efficient Algebraic Effect Handlers. MPC 2015: 302-322 - [c56]Exequiel Rivas
From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP 2015: 196-207 - [c55]Tom Schrijvers
The Future of Programming is Functional. SoICT 2015: 1 - [c54]Paolo Torrini, Tom Schrijvers
Reasoning about modular datatypes with Mendler induction. FICS 2015: 143-157 - 2014
- [c53]Ismael Figueroa
Compositional reasoning about aspect interference. MODULARITY 2014: 133-144 - [c52]Nicolas Wu
Effect handlers in scope. Haskell 2014: 1-12 - [c51]Thomas Winant, Dominique Devriese
Partial Type Signatures for Haskell. PADL 2014: 17-32 - [c50]Tom Schrijvers
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP 2014: 259-270 - 2013
- [c49]Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013 - [c48]Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer
Understanding idiomatic traversals backwards and forwards. Haskell 2013: 25-36 - [c47]Steven Keuchel
Generic datatypes à la carte. WGP@ICFP 2013: 13-24 - [c46]Benjamin Delaware, Steven Keuchel
Modular monadic meta-theory. ICFP 2013: 319-330 - [c45]Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
Meta-theory à la carte. POPL 2013: 207-218 - 2012
- [c44]Tom Schrijvers
An Introduction to Search Combinators. LOPSTR 2012: 2-16 - [c43]Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. PADL 2012: 108-122 - [c42]Bruno C. d. S. Oliveira, Tom Schrijvers
The implicit calculus: a new foundation for generic programming. PLDI 2012: 35-44 - [c41]Tom Schrijvers
Tor: extensible search with hookable disjunction. PPDP 2012: 103-114 - 2011
- [c40]Tom Schrijvers
Search Combinators. CP 2011: 774-788 - [c39]Tom Schrijvers
Monads, zippers and views: virtualizing the monad stack. ICFP 2011: 32-44 - [c38]Pieter Wuille
Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85 - 2010
- [c37]Bruno C. d. S. Oliveira, Tom Schrijvers
EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120 - [c36]Dominic A. Orchard
Haskell Type Constraints Unleashed. FLOPS 2010: 56-71 - [c35]Tom Schrijvers
Strictness Meets Data Flow. SAS 2010: 439-454 - [c34]Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers
Let should not be generalized. TLDI 2010: 39-50 - [c33]Pieter Wuille
Parameterized Models for On-Line and Off-Line Use. WFLP 2010: 101-118 - 2009
- [c32]Tom Schrijvers
Complete and decidable type inference for GADTs. ICFP 2009: 341-352 - [c31]Beata Sarna-Starosta, Tom Schrijvers
Attributed Data for CHR Indexing. ICLP 2009: 357-371 - [c30]Paolo Pilozzi, Tom Schrijvers
A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR 2009: 22-36 - [c29]François Degrave
Towards a Framework for Constraint-Based Test Case Generation. LOPSTR 2009: 128-142 - [c28]Tom Schrijvers
Type invariants for Haskell. PLPV 2009: 39-48 - 2008
- [c27]Tom Schrijvers
Type checking with open type functions. ICFP 2008: 51-62 - [c26]Tom Schrijvers
Uniting the Prolog Community. ICLP 2008: 7-8 - [c25]Tom Schrijvers
Constraint Handling Rules. ICLP 2008: 9-10 - [c24]Tom Schrijvers
Transactions in Constraint Handling Rules. ICLP 2008: 516-530 - [c23]Tom Schrijvers
Towards Typed Prolog. ICLP 2008: 693-697 - [c22]François Degrave
Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86 - [c21]Tom Schrijvers
From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR 2008: 152-167 - [c20]Tom Schrijvers, Martin Sulzmann:
Confluence for Functional Dependencies. Trends in Functional Programming 2008: 49-64 - 2007
- [c19]Leslie De Koninck, Tom Schrijvers
The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223 - [c18]Jon Sneyers, Peter Van Weert, Tom Schrijvers
Aggregates in Constraint Handling Rules. ICLP 2007: 446-448 - [c17]Leslie De Koninck, Tom Schrijvers
User-definable rule priorities for CHR. PPDP 2007: 25-36 - 2006
- [c16]Martin Sulzmann, Tom Schrijvers
Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43 - [c15]Jon Sneyers, Tom Schrijvers
Memory Reuse for CHR. ICLP 2006: 72-86 - [c14]Tom Schrijvers
Polymorphic algebraic data type reconstruction. PPDP 2006: 85-96 - [c13]Leslie De Koninck, Tom Schrijvers, Bart Demoen:
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP 2006: 91-100 - [c12]Jon Sneyers, Tom Schrijvers, Bart Demoen:
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191 - 2005
- [c11]Jon Sneyers, Tom Schrijvers
Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP 2005: 83-97 - [c10]Tom Schrijvers
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. ICLP 2005: 435-436 - [c9]Tom Schrijvers
Abstract interpretation for constraint handling rules. PPDP 2005: 218-229 - [c8]Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Simplification in CHR programs. W(C)LP 2005: 123-134 - [c7]Tom Schrijvers, Thom W. Frühwirth:
Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146 - [c6]Tom Schrijvers
Automatic Implication Checking for CHR Constraints. RULE@RDP 2005: 93-111 - 2004
- [c5]Tom Schrijvers
Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72 - [c4]Tom Schrijvers
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 - 2002
- [c2]Tom Schrijvers
Trailing Analysis for HAL. ICLP 2002: 38-53 - [c1]Tom Schrijvers
Combining an improvement to PARMA trailing with trailing analysis. PPDP 2002: 88-98
Parts in Books or Collections
- 2021
- [p5]Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98 - 2020
- [p4]Jeremy Gibbons, Annabelle McIver
Quantitative Information Flow with Monads in Haskell. Foundations of Probabilistic Programming 2020: 391-448 - 2008
- [p3]Leslie De Koninck, Tom Schrijvers
A Flexible Search Framework for CHR. Constraint Handling Rules 2008: 16-47 - [p2]Peter Van Weert, Pieter Wuille
CHR for Imperative Host Languages. Constraint Handling Rules 2008: 161-212 - [p1]Jon Sneyers, Tom Schrijvers
Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules 2008: 213-244
Editorship
- 2020
- [e6]Tom Schrijvers
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020. ACM 2020, ISBN 978-1-4503-8050-8 [contents] - 2018
- [e5]Elena Bellodi, Tom Schrijvers:
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. CEUR Workshop Proceedings 2219, CEUR-WS.org 2018 [contents] - 2016
- [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] - 2013
- [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] - 2012
- [e2]Tom Schrijvers
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] - 2008
- [e1]Tom Schrijvers
Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science 5388, Springer 2008, ISBN 978-3-540-92242-1 [contents]
Data and Artifacts
- 2025
- [d2]Ruifeng Xie
Artifact for ICFP '25: Effectful Lenses: There and Back with Different Monads. Zenodo, 2025 - 2024
- [d1]Ruifeng Xie
Artifact for POPL'25: Biparsers: Exact Printing for Data Synchronisation. Zenodo, 2024
Informal and Other Publications
- 2024
- [i32]Jack Liell-Cock
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. CoRR abs/2403.02273 (2024) - 2023
- [i31]Birthe van den Berg, Tom Schrijvers
A Framework for Higher-Order Effects & Handlers. CoRR abs/2302.01415 (2023) - [i30]Roger Bosman
A Calculus for Scoped Effects & Handlers. CoRR abs/2304.09697 (2023) - [i29]Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi:
Automatic Differentiation in Prolog. CoRR abs/2305.07878 (2023) - [i28]Wenhao Tang, Tom Schrijvers:
From High to Low: Simulating Nondeterminism and State with State. CoRR abs/2312.02054 (2023) - 2022
- [i27]Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers:
Structured Handling of Scoped Effects: Extended Version. CoRR abs/2201.10287 (2022) - [i26]Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers:
Fusing Industry and Academia at GitHub (Experience Report). CoRR abs/2206.09206 (2022) - [i25]Birthe van den Berg, Tom Schrijvers
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference? CoRR abs/2212.11088 (2022) - 2021
- [i24]Alexander Vandenbroucke, Tom Schrijvers:
Disjunctive Delimited Control. CoRR abs/2108.02972 (2021) - [i23]Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu:
Latent Effects for Reusable Language Components: Extended Version. CoRR abs/2108.11155 (2021) - 2020
- [i22]Ruben P. Pieters, Tom Schrijvers:
PaSe: An Extensible and Inspectable DSL for Micro-Animations. CoRR abs/2002.02171 (2020) - [i21]Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers:
Explicit Effect Subtyping. CoRR abs/2005.13814 (2020) - [i20]Alexander Vandenbroucke, Tom Schrijvers:
Disjunctive Delimited Control. CoRR abs/2009.04909 (2020) - [i19]Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias:
Resolution as Intersection Subtyping via Modus Ponens. CoRR abs/2010.06216 (2020) - 2019
- [i18]Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers:
Bidirectional Type Class Instances (Extended Version). CoRR abs/1906.12242 (2019) - [i17]Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers:
Coherence of Type Class Resolution. CoRR abs/1907.00844 (2019) - 2018
- [i16]Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers:
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). Dagstuhl Reports 8(4): 104-125 (2018) - 2016
- [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
- [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) - 2013
- [i11]Benoit Desouter, Tom Schrijvers:
Integrating Datalog and Constraint Solving. CoRR abs/1307.4635 (2013) - 2012
- [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
- [i8]Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers:
Approximating Constraint Propagation in Datalog. CoRR abs/1112.3787 (2011) - 2010
- [i7]Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager:
SWI-Prolog. CoRR abs/1011.5332 (2010) - 2009
- [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) - 2007
- [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) - 2005
- [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
- [i1]Tom Schrijvers, Alexander Serebrenik:
Improving Prolog Programs: Refactoring for Prolog. CoRR cs.SE/0406026 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-07 02:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: