Tom Schrijvers - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Tom Schrijvers' as author, editor, or advisor:

eTeacher: A Pilot in Flemish Secondary EducationJesse Hoobergs, Birthe van den Berg, Tom Schrijvers. iticse 2023: 593-594 [doi]
Structured Handling of Scoped EffectsZhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers. ESOP 2022: 462-491 [doi]
Fusion for Free - Efficient Algebraic Effect HandlersNicolas Wu, Tom Schrijvers. mpc 2015: 302-322 [doi]
SWI-PrologJan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager. tplp, 12(1-2):67-96, 2012. [doi]
Delimited continuations for prologTom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker. tplp, 13(4-5):533-546, 2013. [doi]
InBound: Simple yet powerful Specification of Syntax with BindersSteven Keuchel, Tom Schrijvers. 2015.
Distributive Disjoint Polymorphism for Compositional ProgrammingXuan Bi, Ningning Xie, Bruno C. D. S. Oliveira, Tom Schrijvers. ESOP 2019: 381-409 [doi]
Tabling as a library with delimited controlBenoit Desouter, Marko van Dooren, Tom Schrijvers. tplp, 15(4-5):419-433, 2015. [doi]
Phases in Software ArchitectureJeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu. funarch 2023: 29-33 [doi]
Handlers for Non-Monadic ComputationsRuben P. Pieters, Tom Schrijvers, Exequiel Rivas. IFL 2017: [doi]
Explicit Effect SubtypingAmr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers. ESOP 2018: 327-354 [doi]
Disjunctive Delimited ControlAlexander Vandenbroucke, Tom Schrijvers. tplp, 24(1):110-131, January 2024. [doi]
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020Tom Schrijvers, editor, ACM, 2020. [doi]
Monads, zippers and views: virtualizing the monad stackTom Schrijvers, Bruno C. D. S. Oliveira. ICFP 2011: 32-44 [doi]
Breadth-First Traversal via StagingJeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu. mpc 2022: 1-33 [doi]
Generalized monoidal effects and handlersRuben P. Pieters, Exequiel Rivas, Tom Schrijvers. JFP, 30, 2020. [doi]
Optimizing Inequality Joins in Datalog with Approximated Constraint PropagationDario Campagna, Beata Sarna-Starosta, Tom Schrijvers. PADL 2012: 108-122 [doi]
Parameterized Models for On-Line and Off-Line UsePieter Wuille, Tom Schrijvers. wflp 2011: 101-118 [doi]
The Future of Programming is FunctionalTom Schrijvers. soict 2015: 1 [doi]
Tor: extensible search with hookable disjunctionTom Schrijvers, Markus Triska, Bart Demoen. ppdp 2012: 103-114 [doi]
CONDEnSe: Contract Based Design SynthesisCésar Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai. MoDELS 2019: 250-260 [doi]
AlgorithmicsRichard 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. In Michael Goedicke, Erich Neuhold, Kai Rannenberg, editors, Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups. Volume 600 of IFIP Advances in Information and Communication Technology, pages 59-98, Springer, 2021. [doi]
The implicit calculus: a new foundation for generic programmingBruno C. D. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi. PLDI 2012: 35-44 [doi]
Tor: Modular search with hookable disjunctionTom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter. SCP, 84:101-120, 2014. [doi]
Latent Effects for Reusable Language ComponentsBirthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu. aplas 2021: 182-201 [doi]
Preface for SCP special issue on Principles and Practice of Declarative ProgrammingTom Schrijvers. SCP, 111:1-2, 2015. [doi]
Fusing industry and academia at GitHub (experience report)Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers. PACMPL, 6(ICFP):496-511, 2022. [doi]
Tabling with Sound Answer SubsumptionAlexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers. tplp, 16(5-6):933-949, 2016. [doi]
Faster Coroutine Pipelines: A ReconstructionRuben P. Pieters, Tom Schrijvers. PADL 2019: 133-149 [doi]
Effect handlers in scopeNicolas Wu, Tom Schrijvers, Ralf Hinze. haskell 2014: 1-12 [doi]
Fixing non-determinismAlexander Vandenbroucke, Tom Schrijvers, Frank Piessens. IFL 2015: [doi]
Search CombinatorsTom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey. cp 2011: 774-788 [doi]
Explicit effect subtypingGeorgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers. JFP, 30, 2020. [doi]
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming ImplementationTom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen. ppdp 2014: 259-270 [doi]
Syntax and Semantics for Operations with ScopesMaciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff. lics 2018: 809-818 [doi]
Quantified class constraintsGert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler. haskell 2017: 148-161 [doi]
Efficient compilation of algebraic effect handlersGeorgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers. PACMPL, 5(OOPSLA):1-28, 2021. [doi]
Bidirectional type class instancesKoen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers. haskell 2019: 30-43 [doi]
Handling Local State with Global StateKoen Pauwels, Tom Schrijvers, Shin-Cheng Mu. mpc 2019: 18-44 [doi]
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal ContractsCésar Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai. FM 2021: 776-787 [doi]
Monad transformers and modular algebraic effects: what binds them togetherTom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff. haskell 2019: 98-113 [doi]
PaSe: An Extensible and Inspectable DSL for Micro-AnimationsRuben P. Pieters, Tom Schrijvers. sfp 2020: 3-24 [doi]
A unified view of monadic and applicative non-determinismExequiel Rivas, Mauro Jaskelioff, Tom Schrijvers. SCP, 152:70-98, 2018. [doi]
Resolution as intersection subtyping via Modus PonensKoar Marntirosian, Tom Schrijvers, Bruno C. D. S. Oliveira, Georgios Karachalias. PACMPL, 4(OOPSLA), 2020. [doi]
Tabling as a Library with Delimited ControlBenoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke. IJCAI 2016: 4145-4149 [doi]
Partial Type Signatures for HaskellThomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers. PADL 2014: 17-32 [doi]
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)Birthe van den Berg, Tom Schrijvers, Peter Dedecker. PADL 2023: 73-82 [doi]
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers. dagstuhl-reports, 8(4):104-125, 2018. [doi]
Row and Bounded Polymorphism via Disjoint PolymorphismNingning Xie, Bruno C. D. S. Oliveira, Xuan Bi, Tom Schrijvers. ECOOP 2020: [doi]
Compositional reasoning about aspect interferenceIsmael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter. AOSD 2014: 133-144 [doi]
Modular monadic meta-theoryBenjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira. ICFP 2013: 319-330 [doi]
Memoizing a Monadic Mixin DSLPieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey. wflp 2011: 68-85 [doi]
Generic datatypes à la carteSteven Keuchel, Tom Schrijvers. ICFP 2013: 13-24 [doi]
Search combinatorsTom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey. constraints, 18(2):269-305, 2013. [doi]
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and lazinessGeorgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones. ICFP 2015: 424-436 [doi]
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM SystemRoger Bosman, Georgios Karachalias, Tom Schrijvers. itp 2023: [doi]
Coherence of type class resolutionGert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers. PACMPL, 3(ICFP), 2019. [doi]
Special Issue on Probabilistic Logic Programming (PLP 2018)Elena Bellodi, Tom Schrijvers. ijar, 132:86-87, 2021. [doi]
Automated Design of Search with ComposabilityAshish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack. AAAI 2013: [doi]
Disjunctive Delimited ControlAlexander Vandenbroucke, Tom Schrijvers. LOPSTR 2022: 75-91 [doi]
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!Georgios Karachalias, Tom Schrijvers. haskell 2017: 133-147 [doi]
Efficient algebraic effect handlers for PrologAmr Hany Saleh, Tom Schrijvers. tplp, 16(5-6):884-898, 2016. [doi]
The Essence of Nested Composition (Artifact)Xuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. darts, 4(3), 2018. [doi]
Introduction to the 30th International Conference on Logic Programming Special IssueMichael Leuschel, Tom Schrijvers. tplp, 14(4-5):401-414, 2014. [doi]
Confluence for Functional DependenciesTom Schrijvers, Martin Sulzmann. sfp 2008: 49-64
State Will doWillem Seynaeve, Koen Pauwels, Tom Schrijvers. sfp 2020: 204-225 [doi]
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016Tom Schrijvers, editor, ACM, 2016. [doi]
An Introduction to Search CombinatorsTom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey. LOPSTR 2013: 2-16 [doi]
From MinX to MinC: semantics-driven decompilation of recursive datatypesEdward Robbins, Andy King, Tom Schrijvers. POPL 2016: 191-203 [doi]
Automatic Differentiation in PrologTom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi. tplp, 23(4):900-917, July 2023. [doi]
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, 2018Elena Bellodi, Tom Schrijvers, editors, Volume 2219 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Forward- or reverse-mode automatic differentiation: What's the difference?Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke. SCP, 231:103010, January 2024. [doi]
The Essence of Nested CompositionXuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. ECOOP 2018: [doi]
MRI: Modular reasoning about interference in incremental programmingBruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook. JFP, 22(6):797-852, 2012. [doi]
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative PearlBirthe van den Berg, Tom Schrijvers. FLOPS 2022: 186-204 [doi]
Needle & Knot: Binder Boilerplate Tied UpSteven Keuchel, Stephanie Weirich, Tom Schrijvers. ESOP 2016: 419-445 [doi]
PλωNK: functional probabilistic NetKATAlexander Vandenbroucke, Tom Schrijvers. PACMPL, 4(POPL), 2020. [doi]
Faster coroutine pipelines: A reconstructionRuben P. Pieters, Tom Schrijvers. JFP, 30, 2020. [doi]
Consistent Subtyping for AllNingning Xie, Xuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. TOPLAS, 42(1), 2020. [doi]
From monoids to near-semirings: the essence of MonadPlus and alternativeExequiel Rivas, Mauro Jaskelioff, Tom Schrijvers. ppdp 2015: 196-207 [doi]
COCHIS: Stable and coherent implicitsTom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler, Koar Marntirosian. JFP, 29, 2019. [doi]
Formalization of a Polymorphic Subtyping AlgorithmJinxu Zhao, Bruno C. D. S. Oliveira, Tom Schrijvers. itp 2018: 604-622 [doi]
Meta-theory à la carteBenjamin Delaware, Bruno C. D. S. Oliveira, Tom Schrijvers. POPL 2013: 207-218 [doi]
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. ProceedingsTom Schrijvers, Peter Thiemann, editors, Volume 7294 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 LogicDörthe Arndt, Tom Schrijvers, Jos De Roo, Ruben Verborgh. ws, 58, 2019. [doi]
Proof Relevant Corecursive ResolutionPeng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond. FLOPS 2016: 126-143 [doi]
From PRISM to ProbLog and Back AgainAlexander Vandenbroucke, Tom Schrijvers. ilp 2017: 26-40 [doi]
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013Ricardo Peña, Tom Schrijvers, editors, ACM, 2013. [doi]
Oregano: staging regular expressions with Moore Cayley fusionJamie Willis, Nicolas Wu, Tom Schrijvers. haskell 2022: 66-80 [doi]
A mechanical formalization of higher-ranked polymorphic type inferenceJinxu Zhao, Bruno C. D. S. Oliveira, Tom Schrijvers. PACMPL, 3(ICFP), 2019. [doi]

runs on WebDSL