Tom Schrijvers

Cited by

	All	Since 2016
Citations	3383	1152
h-index	28	17
i10-index	81	31

340

170

255

20042005200620072008200920102011201220132014201520162017201820192020202122 136 102 131 328 219 171 178 178 208 215 232 212 215 233 275 212 5

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 SneyersKU LeuvenVerified email at cs.kuleuven.be
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Pieter WuilleBlockstreamVerified email at blockstream.com
Thom FrühwirthProfessor of Computer Science, University of UlmVerified email at uni-ulm.de
Jan WielemakerResearcher in Computer Science, VU University AmsterdamVerified email at vu.nl
Peter Van WeertVerified email at nikonmetrology.com
Markus TriskaTU WienVerified email at logic.at
Dimitrios VytiniotisDeepMindVerified email at google.com
Georgios KarachaliasTweag I/OVerified email at tweag.io
Steven KeuchelUniversiteit GentVerified email at ugent.be
Nicolas WuSenior Lecturer in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
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
Gregory DuckNational University of SingaporeVerified email at comp.nus.edu.sg

Tom Schrijvers

Professor of Computer Science, KU Leuven

Verified email at cs.kuleuven.be - Homepage

Programming Languages


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 arXiv preprint arXiv:1011.5332, 2010	509	2010
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	175	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	129	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	128	2009
The KU Leuven CHR system: Implementation and application T Schrijvers, B Demoen First workshop on constraint handling rules: selected contributions, 1-5, 2004	118	2004
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 arXiv preprint arXiv:0906.4474, 2009	92	2009
Analyses, optimizations and extensions of constraint handling rules: ph. d. summary T Schrijvers International Conference on Logic Programming, 435-436, 2005	87	2005
Towards typed prolog T Schrijvers, VS Costa, J Wielemaker, B Demoen International Conference on Logic Programming, 693-697, 2008	80	2008
Optimal union-find in constraint handling rules T Schrijvers, T Frühwirth arXiv preprint cs/0501073, 2005	73	2005
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, 182-191, 2006	71	2006
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	66	2005
Monadic constraint programming T Schrijvers, P Stuckey, P Wadler Journal of Functional Programming 19 (6), 663-697, 2009	63	2009
Search combinators T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey Constraints 18 (2), 269-305, 2013	60	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	59	2007
Meta-Theory a la Carte B Delaware, BCS Oliveira, T Schrijvers	58	2013
Effect handlers in scope N Wu, T Schrijvers, R Hinze Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014	52	2014
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	48	2009
Abstract interpretation for constraint handling rules T Schrijvers, PJ Stuckey, GJ Duck Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005	46	2005
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	45	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	40	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

Upload PDF

Follow this author

Cited by

Co-authors