Tom Schrijvers

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 75

Top Venues

CoRR

Theory Pract. Log. Program.

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. Theory Pract. Log. Program. 24 (1) (2024)
Jack Liell-Cock, Tom Schrijvers
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. CoRR (2024)
Jack Liell-Cock, Tom Schrijvers
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs. Art Sci. Eng. Program. 8 (3) (2024)
Birthe van den Berg, Tom Schrijvers
A framework for higher-order effects & handlers. Sci. Comput. Program. 234 (2024)
Alexander Vandenbroucke, Tom Schrijvers
Declarative Pearl: Rigged Contracts. FLOPS (2024)
Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
Forward- or reverse-mode automatic differentiation: What's the difference? Sci. Comput. Program. 231 (2024)
Roger Bosman, Georgios Karachalias, Tom Schrijvers
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP (2023)
Birthe van den Berg, Tom Schrijvers, Peter Dedecker
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). PADL (2023)
Birthe van den Berg, Tom Schrijvers
A Framework for Higher-Order Effects & Handlers. CoRR (2023)
Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers
A Calculus for Scoped Effects & Handlers. CoRR (2023)
Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
Automatic Differentiation in Prolog. CoRR (2023)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Phases in Software Architecture. FUNARCH (2023)
Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
Automatic Differentiation in Prolog. Theory Pract. Log. Program. 23 (4) (2023)
Jesse Hoobergs, Birthe van den Berg, Tom Schrijvers
eTeacher: A Pilot in Flemish Secondary Education. ITiCSE (2) (2023)
Wenhao Tang, Tom Schrijvers
From High to Low: Simulating Nondeterminism and State with State. CoRR (2023)
Birthe van den Berg, Tom Schrijvers
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. FLOPS (2022)
Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference? CoRR (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects. ESOP (2022)
Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
Fusing Industry and Academia at GitHub (Experience Report). CoRR (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects: Extended Version. CoRR (2022)
Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Breadth-First Traversal via Staging. MPC (2022)
Jamie Willis, Nicolas Wu, Tom Schrijvers
Oregano: staging regular expressions with Moore Cayley fusion. Haskell (2022)
Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. LOPSTR (2021)
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
Latent Effects for Reusable Language Components. APLAS (2021)
Elena Bellodi, Tom Schrijvers
Special Issue on Probabilistic Logic Programming (PLP 2018). Int. J. Approx. Reason. 132 (2021)
Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers
Efficient compilation of algebraic effect handlers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
Latent Effects for Reusable Language Components: Extended Version. CoRR (2021)
Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. CoRR (2021)
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)
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
Consistent Subtyping for All. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Ruben P. Pieters, Tom Schrijvers
Faster coroutine pipelines: A reconstruction. J. Funct. Program. 30 (2020)
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
Explicit effect subtyping. J. Funct. Program. 30 (2020)
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
Explicit Effect Subtyping. CoRR (2020)
Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers
Generalized monoidal effects and handlers. J. Funct. Program. 30 (2020)
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
Resolution as intersection subtyping via Modus Ponens. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
Row and Bounded Polymorphism via Disjoint Polymorphism. ECOOP (2020)
Alexander Vandenbroucke, Tom Schrijvers
PλωNK: functional probabilistic NetKAT. Proc. ACM Program. Lang. 4 (POPL) (2020)
Willem Seynaeve, Koen Pauwels, Tom Schrijvers
State Will do. TFP (2020)
Ruben P. Pieters, Tom Schrijvers
PaSe: An Extensible and Inspectable DSL for Micro-Animations. CoRR (2020)
Ruben P. Pieters, Tom Schrijvers
PaSe: An Extensible and Inspectable DSL for Micro-Animations. TFP (2020)
Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. CoRR (2020)
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
Resolution as Intersection Subtyping via Modus Ponens. CoRR (2020)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of Type Class Resolution. CoRR (2019)
César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai
CONDEnSe: Contract Based Design Synthesis. MoDELS (2019)
Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
A mechanical formalization of higher-ranked polymorphic type inference. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Ruben P. Pieters, Tom Schrijvers
Faster Coroutine Pipelines: A Reconstruction. PADL (2019)
Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
COCHIS: Stable and coherent implicits. J. Funct. Program. 29 (2019)
Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu
Handling Local State with Global State. MPC (2019)
Paul Tarau, Jan Wielemaker, Tom Schrijvers
Lazy Stream Programming in Prolog. ICLP Technical Communications (2019)
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
Bidirectional Type Class Instances (Extended Version). CoRR (2019)
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)
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
Distributive Disjoint Polymorphism for Compositional Programming. ESOP (2019)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of type class resolution. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP (2019)
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
Bidirectional type class instances. Haskell@ICFP (2019)
Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
Formalization of a Polymorphic Subtyping Algorithm. ITP (2018)
Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). Dagstuhl Reports 8 (4) (2018)
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
The Essence of Nested Composition. ECOOP (2018)
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
The Essence of Nested Composition (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152 (2018)
Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
Explicit Effect Subtyping. ESOP (2018)
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
Syntax and Semantics for Operations with Scopes. LICS (2018)
Alexander Vandenbroucke, Tom Schrijvers
From PRISM to ProbLog and Back Again. PLP@ILP (2017)
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
Quantified class constraints. Haskell (2017)
Georgios Karachalias, Tom Schrijvers
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Haskell (2017)
Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas
Handlers for Non-Monadic Computations. IFL (2017)
Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
Tabling as a Library with Delimited Control. IJCAI (2016)
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
Tabling with Sound Answer Subsumption. CoRR (2016)
Steven Keuchel, Stephanie Weirich, Tom Schrijvers
Needle & Knot: Binder Boilerplate Tied Up. ESOP (2016)
Amr Hany Saleh, Tom Schrijvers
Efficient algebraic effect handlers for Prolog. Theory Pract. Log. Program. 16 (5-6) (2016)
Edward Robbins, Andy King, Tom Schrijvers
From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL (2016)
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
Tabling with Sound Answer Subsumption. Theory Pract. Log. Program. 16 (5-6) (2016)
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
Proof Relevant Corecursive Resolution. FLOPS (2016)
Amr Hany Saleh, Tom Schrijvers
Efficient Algebraic Effect Handlers for Prolog. CoRR (2016)
Tom Schrijvers
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 111 (2015)
Benoit Desouter, Marko van Dooren, Tom Schrijvers
Tabling as a library with delimited control. Theory Pract. Log. Program. 15 (4-5) (2015)
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
Proof Relevant Corecursive Resolution. CoRR (2015)
Benoit Desouter, Tom Schrijvers, Marko van Dooren
Tabling as a Library with Delimited Control. CoRR (2015)
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)
Nicolas Wu, Tom Schrijvers
Fusion for Free - Efficient Algebraic Effect Handlers. MPC (2015)
Tom Schrijvers
The Future of Programming is Functional. SoICT (2015)
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP (2015)
Paolo Torrini, Tom Schrijvers
Reasoning about modular datatypes with Mendler induction. FICS (2015)
Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens
Fixing non-determinism. IFL (2015)
Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
Partial Type Signatures for Haskell. PADL (2014)
Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
Compositional reasoning about aspect interference. MODULARITY (2014)
Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP (2014)
Nicolas Wu, Tom Schrijvers, Ralf Hinze
Effect handlers in scope. Haskell (2014)
Michael Leuschel, Tom Schrijvers
Introduction to the 30th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 14 (4-5) (2014)
Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
Tor: Modular search with hookable disjunction. Sci. Comput. Program. 84 (2014)
Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
Understanding idiomatic traversals backwards and forwards. Haskell (2013)
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) (2013)
Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
Meta-theory à la carte. POPL (2013)
Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
Modular monadic meta-theory. ICFP (2013)
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
Search combinators. Constraints An Int. J. 18 (2) (2013)
Benoit Desouter, Tom Schrijvers
Integrating Datalog and Constraint Solving. CoRR (2013)
Steven Keuchel, Tom Schrijvers
Generic datatypes à la carte. WGP@ICFP (2013)
Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
Delimited continuations for prolog. Theory Pract. Log. Program. 13 (4-5) (2013)
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
Search Combinators CoRR (2012)

Tom Schrijvers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tom Schrijvers