default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTom 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
2020 – today
- 2024
[j39]Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers:
A Calculus for Scoped Effects & Handlers. Log. Methods Comput. Sci. 20(4) (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) - [c94]Alexander Vandenbroucke, Tom Schrijvers:
Declarative Pearl: Rigged Contracts. FLOPS 2024: 99-114 - [c93]Johannes Hartmann, Tom Schrijvers, Jeremy Gibbons:
Towards a More Efficient Selection Monad. TFP 2024: 55-74 - [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]