Tom Schrijvers

Cited by

	All	Since 2019
Citations	4276	1460
h-index	31	17
i10-index	94	41

300

150

225

20042005200620072008200920102011201220132014201520162017201820192020202120222023202423 115 113 119 228 202 181 160 176 221 210 226 226 224 238 288 226 232 249 253 210

Public access

View all

66 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
Georgios KarachaliasTweag I/OVerified email at tweag.io
Markus TriskaTU WienVerified email at logic.at
Birthe van den BergPhD Computer ScienceVerified email at kuleuven.be
Dimitrios VytiniotisDeepMindVerified email at google.com
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
Swi-prolog J Wielemaker, T Schrijvers, M Triska, T Lager Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012	750	2012
Type checking with open type functions T Schrijvers, S Peyton Jones, M Chakravarty, M Sulzmann Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	201	2008
OutsideIn (X) Modular type inference with local assumptions D Vytiniotis, SP Jones, T Schrijvers, M Sulzmann Journal of functional programming 21 (4-5), 333-412, 2011	164	2011
Complete and decidable type inference for GADTs T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis ACM Sigplan Notices 44 (9), 341-352, 2009	140	2009
The KU Leuven CHR system: Implementation and application T Schrijvers, B Demoen First workshop on constraint handling rules: selected contributions 2004, 01, 2004	120	2004
Towards typed prolog T Schrijvers, V Santos Costa, J Wielemaker, B Demoen Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008	112	2008
The computational power and complexity of Constraint Handling Rules J Sneyers, T Schrijvers, B Demoen ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (2), 1-42, 2009	100	2009
Effect handlers in scope N Wu, T Schrijvers, R Hinze Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014	97	2014
As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007 J Sneyers, P Van Weert, T Schrijvers, L De Koninck Theory and practice of logic programming 10 (1), 1-47, 2010	95	2010
Meta-Theory a la Carte B Delaware, BCS Oliveira, T Schrijvers	86	2013
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary T Schrijvers International Conference on Logic Programming, 435-436, 2005	86	2005
Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR J Sneyers, T Schrijvers, B Demoen CW Reports, 13-13, 2005	77	2005
Monadic constraint programming T Schrijvers, P Stuckey, P Wadler Journal of Functional Programming 19 (6), 663-697, 2009	71	2009
Optimal union-find in constraint handling rules T Schrijvers, T Frühwirth Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006	71	2006
Search combinators T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey Constraints 18, 269-305, 2013	68	2013
User-definable rule priorities for CHR L De Koninck, T Schrijvers, B Demoen Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007	61	2007
Fusion for free: Efficient algebraic effect handlers N Wu, T Schrijvers International Conference on Mathematics of Program Construction, 302-322, 2015	56	2015
Let should not be generalized D Vytiniotis, S Peyton Jones, T Schrijvers Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010	49	2010
Syntax and semantics for operations with scopes M Piróg, T Schrijvers, N Wu, M Jaskelioff Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	47	2018
Monad transformers and modular algebraic effects: what binds them together T Schrijvers, M Piróg, N Wu, M Jaskelioff Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 98-113, 2019	45	2019

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