Tom Schrijvers

Cited by

	All	Since 2018
Citations	4000	1311
h-index	32	17
i10-index	85	31

360

180

270

2004200520062007200820092010201120122013201420152016201720182019202020212022202321 133 125 108 357 155 187 178 186 211 211 230 219 216 236 276 234 220 237 106

Public access

View all

66 articles

0 articles

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. OliveiraAssistant Professor, The University of Hong KongVerified email at cs.hku.hk
Jon SneyersCloudinaryVerified email at cloudinary.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Pieter WuilleBlockstreamVerified email at blockstream.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
Georgios KarachaliasTweag I/OVerified email at tweag.io
Dimitrios VytiniotisDeepMindVerified email at google.com
Peter Van WeertVerified email at nikonmetrology.com
Markus TriskaTU WienVerified email at logic.at
Steven KeuchelUniversiteit GentVerified email at ugent.be
Birthe van den BergPhD Computer ScienceVerified email at kuleuven.be
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Horst SamulowitzIBM ResearchVerified email at us.ibm.com
Amr Hany SalehKU LeuvenVerified email at cs.kuleuven.be

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	656	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	195	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	153	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	139	2009
The KU Leuven CHR system: Implementation and application T Schrijvers, B Demoen First workshop on constraint handling rules: selected contributions, 1-5, 2004	121	2004
Towards typed prolog T Schrijvers, V Santos Costa, J Wielemaker, B Demoen Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008	116	2008
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
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary T Schrijvers Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005	87	2005
Effect handlers in scope N Wu, T Schrijvers, R Hinze Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014	81	2014
Meta-Theory a la Carte B Delaware, BCS Oliveira, T Schrijvers	79	2013
Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR J Sneyers, T Schrijvers, B Demoen Proceedings of the 20th Workshop on logic programming 1843, 182-191, 2006	79	2006
Optimal union-find in constraint handling rules T Schrijvers, T Frühwirth Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006	72	2006
Search combinators T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey Constraints 18, 269-305, 2013	67	2013
Monadic constraint programming T Schrijvers, P Stuckey, P Wadler Journal of Functional Programming 19 (6), 663-697, 2009	67	2009
The computational power and complexity of Constraint Handling Rules J Sneyers, T Schrijvers, B Demoen Proceedings of the 2nd Workshop on Constraint Handling Rules, 3-17, 2005	67	2005
User-definable rule priorities for CHR L De Koninck, T Schrijvers, B Demoen Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007	63	2007
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	52	2009
Fusion for free: Efficient algebraic effect handlers N Wu, T Schrijvers Mathematics of Program Construction: 12th International Conference, MPC 2015 …, 2015	48	2015
KU Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java P Van Weert, T Schrijvers, B Demoen Proceedings of the 2nd Workshop on Constraint Handling Rules, 47-62, 2005	48	2005
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	45	2010

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