Tom Schrijvers

Cited by

	All	Since 2019
Citations	4200	1386
h-index	31	17
i10-index	90	37

300

150

225

20042005200620072008200920102011201220132014201520162017201820192020202120222023202423 115 113 119 228 202 181 160 176 220 210 226 226 224 237 288 225 233 249 246 143

Public access

View all

67 articles

1 article

available

not available

Based on funding mandates

Co-authors

bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Jon SneyersCloudinaryVerified email at cloudinary.com
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Jan WielemakerResearcher in Computer Science, VU University AmsterdamVerified email at vu.nl
Thom FrühwirthProfessor of Computer Science, University of UlmVerified email at uni-ulm.de
Peter Van WeertVerified email at nikonmetrology.com
Markus TriskaTU WienVerified email at logic.at
Georgios KarachaliasTweag I/OVerified email at tweag.io
Dimitrios VytiniotisDeepMindVerified email at google.com
Birthe van den BergPhD Computer ScienceVerified email at kuleuven.be
Steven KeuchelVrije Universiteit BrusselVerified email at vub.be
Amr Hany SalehKU LeuvenVerified email at cs.kuleuven.be
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioVerified email at fceia.unr.edu.ar
Gregory J. DuckNational University of SingaporeVerified email at comp.nus.edu.sg
Torbjörn LagerUniversity of GothenburgVerified email at ling.gu.se

Tom Schrijvers

Professor of Computer Science, KU Leuven

Verified email at cs.kuleuven.be - Homepage

Programming Languages Functional Programming Logic Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Declarative Pearl: Rigged Contracts A Vandenbroucke, T Schrijvers International Symposium on Functional and Logic Programming, 99-114, 2024		2024
A framework for higher-order effects & handlers B van den Berg, T Schrijvers Science of Computer Programming 234, 103086, 2024	4	2024
Towards a more efficient Selection Monad J Hartmann, T Schrijvers, J Gibbons Trends in Functional Programming, Proceedings, 2024		2024
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs J Liell-Cock, T Schrijvers arXiv preprint arXiv:2403.02273, 2024		2024
Disjunctive Delimited Control A Vandenbroucke, T Schrijvers Theory and Practice of Logic Programming 24 (1), 110-131, 2024		2024
Disjunctive Delimited Control T Schrijvers Theory And Practice Of Logic Programming 24 (1), 2024		2024
Forward-or reverse-mode automatic differentiation: What's the difference? B van den Berg, T Schrijvers, J McKinna, A Vandenbroucke Science of Computer Programming 231, 103010, 2024	9	2024
Soar with Haskell: The ultimate beginners' guide to mastering functional programming from the ground up T Schrijvers PACKT, 2023		2023
From High to Low: Simulating Nondeterminism and State with State W Tang, T Schrijvers arXiv preprint arXiv:2312.02054, 2023		2023
Applications of Functional Modeling with Abstract Algebra: Higher-Order Effects and Automatic Differentiation B van den Berg, T Schrijvers, P Dedecker		2023
Phases in Software Architecture J Gibbons, DO Kidney, T Schrijvers, N Wu Proceedings of the 1st ACM SIGPLAN International Workshop on Functional …, 2023	1	2023
Automatic Differentiation in Prolog T Schrijvers, B Van Den Berg, F Riguzzi Theory and Practice of Logic Programming 23 (4), 900-917, 2023	3	2023
eTeacher: A Pilot in Flemish Secondary Education J Hoobergs, B van den Berg, T Schrijvers Proceedings of the 2023 Conference on Innovation and Technology in Computer …, 2023		2023
A Calculus for Scoped Effects & Handlers R Bosman, B Berg, W Tang, T Schrijvers arXiv preprint arXiv:2304.09697, 2023		2023
: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) B van den Berg, T Schrijvers, P Dedecker International Symposium on Practical Aspects of Declarative Languages, 73-82, 2023		2023
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System R Bosman, G Karachalias, T Schrijvers 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023		2023
Breadth-First Traversal via Staging J Gibbons, DO Kidney, T Schrijvers, N Wu International Conference on Mathematics of Program Construction, 1-33, 2022	4	2022
Oregano: staging regular expressions with Moore Cayley fusion J Willis, N Wu, T Schrijvers Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 66-80, 2022	1	2022
Fusing industry and academia at GitHub (experience report) P Thomson, R Rix, N Wu, T Schrijvers Proceedings of the ACM on Programming Languages 6 (ICFP), 496-511, 2022	9	2022
Elevating Multithreading Further into the Cloud S Schildermans, T Schrijvers, K Aerts, X Ding New Jersey Institute of Technology, 2022		2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors