![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Tom Schrijvers
Person information
- affiliation: Catholic University of Leuven, Belgium
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j38]Jack Liell-Cock, Tom Schrijvers
:
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. Art Sci. Eng. Program. 8(3) (2024) - [j37]Birthe van den Berg
, Tom Schrijvers
, James McKinna, Alexander Vandenbroucke:
Forward- or reverse-mode automatic differentiation: What's the difference? Sci. Comput. Program. 231: 103010 (2024) - [j36]Birthe van den Berg
, Tom Schrijvers
:
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) - [c93]Alexander Vandenbroucke
, Tom Schrijvers
:
Declarative Pearl: Rigged Contracts. FLOPS 2024: 99-114 - [i32]Jack Liell-Cock, Tom Schrijvers:
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. CoRR abs/2403.02273 (2024) - 2023
- [j34]Tom Schrijvers
, Birthe van den Berg, Fabrizio Riguzzi
:
Automatic Differentiation in Prolog. Theory Pract. Log. Program. 23(4): 900-917 (2023) - [c92]Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers
, Nicolas Wu
:
Phases in Software Architecture. FUNARCH 2023: 29-33 - [c91]Jesse Hoobergs
, Birthe van den Berg
, Tom Schrijvers
:
eTeacher: A Pilot in Flemish Secondary Education. ITiCSE (2) 2023: 593-594 - [c90]Roger Bosman
, Georgios Karachalias, Tom Schrijvers
:
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP 2023: 8:1-8:18 - [c89]Birthe van den Berg
, Tom Schrijvers
, Peter Dedecker
:
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). PADL 2023: 73-82 - [i31]Birthe van den Berg, Tom Schrijvers
:
A Framework for Higher-Order Effects & Handlers. CoRR abs/2302.01415 (2023) - [i30]Roger Bosman
, Birthe van den Berg, Wenhao Tang, Tom Schrijvers
:
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
- [j33]Patrick Thomson
, Rob Rix
, Nicolas Wu
, Tom Schrijvers
:
Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. 6(ICFP): 496-511 (2022) - [c88]Zhixuan Yang
, Marco Paviotti
, Nicolas Wu
, Birthe van den Berg
, Tom Schrijvers
:
Structured Handling of Scoped Effects. ESOP 2022: 462-491 - [c87]Birthe van den Berg
, Tom Schrijvers
:
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. FLOPS 2022: 186-204 - [c86]Jamie Willis, Nicolas Wu, Tom Schrijvers
:
Oregano: staging regular expressions with Moore Cayley fusion. Haskell 2022: 66-80 - [c85]Jeremy Gibbons
, Donnacha Oisín Kidney
, Tom Schrijvers
, Nicolas Wu
:
Breadth-First Traversal via Staging. MPC 2022: 1-33 - [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
, James McKinna, Alexander Vandenbroucke:
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference? CoRR abs/2212.11088 (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
, Matija Pretnar
, Tom Schrijvers
:
Efficient compilation of algebraic effect handlers. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [c84]Birthe van den Berg
, Tom Schrijvers
, Casper Bach Poulsen
, Nicolas Wu
:
Latent Effects for Reusable Language Components. APLAS 2021: 182-201 - [c83]César Augusto Ribeiro dos Santos, Tom Schrijvers
, Amr Hany Saleh, Mike Nicolai:
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 - [p4]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
:
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98 - [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
- [j30]Georgios Karachalias, Matija Pretnar
, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
:
Explicit effect subtyping. J. Funct. Program. 30: e15 (2020) - [j29]Ruben P. Pieters
, Tom Schrijvers
:
Faster coroutine pipelines: A reconstruction. J. Funct. Program. 30: e22 (2020) - [j28]Ruben P. Pieters, Exequiel Rivas
, Tom Schrijvers
:
Generalized monoidal effects and handlers. J. Funct. Program. 30: e23 (2020) - [j27]Koar Marntirosian, Tom Schrijvers
, Bruno C. d. S. Oliveira, Georgios Karachalias:
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) - [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
, Tom Schrijvers
:
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 - [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] - [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)
2010 – 2019
- 2019
- [j24]Tom Schrijvers
, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian:
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
, Jos De Roo, Ruben Verborgh:
Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic. J. Web Semant. 58 (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
, Maciej Piróg
, Nicolas Wu
, Mauro Jaskelioff:
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
, Mike Nicolai:
CONDEnSe: Contract Based Design Synthesis. MoDELS 2019: 250-260 - [c74]Koen Pauwels, Tom Schrijvers
, Shin-Cheng Mu
:
Handling Local State with Global State. MPC 2019: 18-44 - [c73]Ruben P. Pieters
, Tom Schrijvers
:
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 - [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
- [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
, Mauro Jaskelioff
, Tom Schrijvers
:
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152: 70-98 (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
, Tom Schrijvers
:
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
, Tom Schrijvers
, Nicolas Wu
, Mauro Jaskelioff:
Syntax and Semantics for Operations with Scopes. LICS 2018: 809-818 - [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] - [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) - 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
, Bruno C. d. S. Oliveira, Philip Wadler:
Quantified class constraints. Haskell 2017: 148-161 - [c65]Ruben P. Pieters, Tom Schrijvers
, Exequiel Rivas
:
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
- [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
, Benoit Desouter, Tom Schrijvers
:
Tabling with Sound Answer Subsumption. Theory Pract. Log. Program. 16(5-6): 933-949 (2016) - [c63]Steven Keuchel
, Stephanie Weirich
, Tom Schrijvers
:
Needle & Knot: Binder Boilerplate Tied Up. ESOP 2016: 419-445 - [c62]Peng Fu
, Ekaterina Komendantskaya, Tom Schrijvers
, Andrew Pond:
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
, 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
- [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) - [c59]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 - [c58]Alexander Vandenbroucke, Tom Schrijvers
, Frank Piessens:
Fixing non-determinism. IFL 2015: 5:1-5:12 - [c57]Nicolas Wu
, Tom Schrijvers
:
Fusion for Free - Efficient Algebraic Effect Handlers. MPC 2015: 302-322 - [c56]Exequiel Rivas
, Mauro Jaskelioff, Tom Schrijvers
:
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 - [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
- [j14]Tom Schrijvers
, Bart Demoen, Markus Triska, Benoit Desouter:
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) - [c53]Ismael Figueroa
, Tom Schrijvers
, Nicolas Tabareau, Éric Tanter:
Compositional reasoning about aspect interference. MODULARITY 2014: 133-144 - [c52]Nicolas Wu
, Tom Schrijvers
, Ralf Hinze:
Effect handlers in scope. Haskell 2014: 1-12 - [c51]Thomas Winant, Dominique Devriese
, Frank Piessens, Tom Schrijvers
:
Partial Type Signatures for Haskell. PADL 2014: 17-32 - [c50]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
- [j12]Tom Schrijvers
, Guido Tack, Pieter Wuille
, Horst Samulowitz, Peter J. Stuckey:
Search combinators. Constraints An Int. J. 18(2): 269-305 (2013) - [j11]Tom Schrijvers
, Bart Demoen, Benoit Desouter, Jan Wielemaker
:
Delimited continuations for prolog. Theory Pract. Log. Program. 13(4-5): 533-546 (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, Tom Schrijvers
:
Understanding idiomatic traversals backwards and forwards. Haskell 2013: 25-36 - [c47]Steven Keuchel
, Tom Schrijvers
:
Generic datatypes à la carte. WGP@ICFP 2013: 13-24 - [c46]Benjamin Delaware, Steven Keuchel
, Tom Schrijvers
, Bruno C. d. S. Oliveira:
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 - [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
- [j10]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) - [j9]Jan Wielemaker
, Tom Schrijvers
, Markus Triska, Torbjörn Lager:
SWI-Prolog. Theory Pract. Log. Program. 12(1-2): 67-96 (2012) - [c44]Tom Schrijvers
, Guido Tack, Pieter Wuille
, Horst Samulowitz, Peter J. Stuckey:
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
, Wontae Choi, Wonchan Lee, Kwangkeun Yi:
The implicit calculus: a new foundation for generic programming. PLDI 2012: 35-44 - [c41]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
- [j8]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) - [c40]Tom Schrijvers
, Guido Tack, Pieter Wuille
, Horst Samulowitz, Peter J. Stuckey
:
Search Combinators. CP 2011: 774-788 - [c39]Tom Schrijvers
, Bruno C. d. S. Oliveira:
Monads, zippers and views: virtualizing the monad stack. ICFP 2011: 32-44 - [c38]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
- [j7]Jon Sneyers, Peter Van Weert, Tom Schrijvers
, Leslie De Koninck:
As time goes by: Constraint Handling Rules. Theory Pract. Log. Program. 10(1): 1-47 (2010) - [c37]Bruno C. d. S. Oliveira, Tom Schrijvers
, William R. Cook:
EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120 - [c36]Dominic A. Orchard
, Tom Schrijvers
:
Haskell Type Constraints Unleashed. FLOPS 2010: 56-71 - [c35]Tom Schrijvers
, Alan Mycroft
:
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
, 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
- [j6]Tom Schrijvers
, Peter J. Stuckey, Philip Wadler:
Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009) - [j5]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) - [c32]Tom Schrijvers
, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis:
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
, Maurice Bruynooghe:
A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR 2009: 22-36 - [c29]François Degrave, Tom Schrijvers
, Wim Vanhoof:
Towards a Framework for Constraint-Based Test Case Generation. LOPSTR 2009: 128-142 - [c28]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
- [j4]Alexander Serebrenik
, Tom Schrijvers
, Bart Demoen:
Improving Prolog programs: Refactoring for Prolog. Theory Pract. Log. Program. 8(2): 201-215 (2008) - [j3]Tom Schrijvers
, Bart Demoen, David Scott Warren:
TCHR: a framework for tabled CLP. Theory Pract. Log. Program. 8(4): 491-526 (2008) - [c27]Tom Schrijvers
, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann:
Type checking with open type functions. ICFP 2008: 51-62 - [c26]Tom Schrijvers
, Bart Demoen:
Uniting the Prolog Community. ICLP 2008: 7-8 - [c25]Tom Schrijvers
:
Constraint Handling Rules. ICLP 2008: 9-10 - [c24]Tom Schrijvers
, Martin Sulzmann:
Transactions in Constraint Handling Rules. ICLP 2008: 516-530 - [c23]Tom Schrijvers
, Vítor Santos Costa
, Jan Wielemaker
, Bart Demoen:
Towards Typed Prolog. ICLP 2008: 693-697 - [c22]François Degrave, Tom Schrijvers
, Wim Vanhoof:
Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86 - [c21]Tom Schrijvers
, Maurice Bruynooghe, John P. Gallagher:
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 - [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
- [c19]Leslie De Koninck, Tom Schrijvers
, Bart Demoen:
The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223 - [c18]Jon Sneyers, Peter Van Weert, Tom Schrijvers
, Bart Demoen:
Aggregates in Constraint Handling Rules. ICLP 2007: 446-448 - [c17]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
- [j2]Tom Schrijvers
, Thom W. Frühwirth:
Optimal union-find in Constraint Handling Rules. Theory Pract. Log. Program. 6(1-2): 213-224 (2006) - [j1]Tom Schrijvers
, Bart Demoen, Maria J. García de la Banda
, Peter J. Stuckey:
Improving PARMA trailing. Theory Pract. Log. Program. 6(6): 609-644 (2006) - [c16]Martin Sulzmann, Tom Schrijvers
, Peter J. Stuckey:
Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43 - [c15]Jon Sneyers, Tom Schrijvers
, Bart Demoen:
Memory Reuse for CHR. ICLP 2006: 72-86 - [c14]Tom Schrijvers
, Maurice Bruynooghe:
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
, Bart Demoen:
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
, Peter J. Stuckey, Gregory J. Duck
:
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
, Bart Demoen, Gregory J. Duck
, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints. RULE@RDP 2005: 93-111 - [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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint