Tom Schrijvers

Citado por

	Total	Desde 2019
Citas	4296	1323
Índice h	31	16
Índice i10	93	36

380

190

285

20042005200620072008200920102011201220132014201520162017201820192020202120222023202423 130 112 125 369 156 189 180 178 221 209 230 225 224 237 286 228 233 247 243 85

Acceso público

Ver todo

73 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

bart demoenProfessor of Computer Science, KU LeuvenDirección de correo verificada de cs.kuleuven.be
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongDirección de correo verificada de cs.hku.hk
Jon SneyersCloudinaryDirección de correo verificada de cloudinary.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesDirección de correo verificada de h-ka.de
Nicolas WuReader in Computer Science, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Peter StuckeyFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Simon Peyton JonesEpic GamesDirección de correo verificada de epicgames.com
Thom FrühwirthProfessor of Computer Science, University of UlmDirección de correo verificada de uni-ulm.de
Jan WielemakerResearcher in Computer Science, VU University AmsterdamDirección de correo verificada de vu.nl
Georgios KarachaliasTweag I/ODirección de correo verificada de tweag.io
Peter Van WeertDirección de correo verificada de nikonmetrology.com
Markus TriskaTU WienDirección de correo verificada de logic.at
Dimitrios VytiniotisDeepMindDirección de correo verificada de google.com
Birthe van den BergPhD Computer ScienceDirección de correo verificada de kuleuven.be
Steven KeuchelVrije Universiteit BrusselDirección de correo verificada de vub.be
Philip WadlerUniversity of Edinburgh and IOHK/IOGDirección de correo verificada de inf.ed.ac.uk
Amr Hany SalehKU LeuvenDirección de correo verificada de cs.kuleuven.be
Guido TackAssociate Professor, Monash UniversityDirección de correo verificada de monash.edu
Horst SamulowitzIBM ResearchDirección de correo verificada de us.ibm.com
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioDirección de correo verificada de fceia.unr.edu.ar

Seguir

Tom Schrijvers

Professor of Computer Science, KU Leuven

Dirección de correo verificada de cs.kuleuven.be - Página principal

Programming Languages Functional Programming Logic Programming


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Swi-prolog J Wielemaker, T Schrijvers, M Triska, T Lager Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012	713	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	199	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	156	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	136	2009
The KU Leuven CHR system: Implementation and application T Schrijvers, B Demoen First workshop on constraint handling rules: selected contributions, 1-5, 2004	124	2004
Towards typed prolog T Schrijvers, V Santos Costa, J Wielemaker, B Demoen Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008	109	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	101	2010
Effect handlers in scope N Wu, T Schrijvers, R Hinze Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014	91	2014
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary T Schrijvers International Conference on Logic Programming, 435-436, 2005	90	2005
Meta-Theory a la Carte B Delaware, BCS Oliveira, T Schrijvers	85	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	81	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	74	2006
Search combinators T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey Constraints 18, 269-305, 2013	71	2013
Monadic constraint programming T Schrijvers, P Stuckey, P Wadler Journal of Functional Programming 19 (6), 663-697, 2009	71	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	62	2007
Fusion for free: Efficient algebraic effect handlers N Wu, T Schrijvers International Conference on Mathematics of Program Construction, 302-322, 2015	53	2015
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	51	2009
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	51	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	48	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores