Suivre
Tom Schrijvers
Tom Schrijvers
Professor of Computer Science, KU Leuven
Adresse e-mail validée de cs.kuleuven.be - Page d'accueil
Titre
Citée par
Citée par
Année
Swi-prolog
J Wielemaker, T Schrijvers, M Triska, T Lager
Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012
6902012
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
2012008
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
1552011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1392009
The KU Leuven CHR system: Implementation and application
T Schrijvers, B Demoen
First workshop on constraint handling rules: selected contributions, 1-5, 2004
1232004
Towards typed prolog
T Schrijvers, V Santos Costa, J Wielemaker, B Demoen
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1172008
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
982010
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
872014
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary
T Schrijvers
International Conference on Logic Programming, 435-436, 2005
872005
Meta-Theory a la Carte
B Delaware, BCS Oliveira, T Schrijvers
822013
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
802006
Optimal union-find in constraint handling rules
T Schrijvers, T Frühwirth
Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006
732006
Monadic constraint programming
T Schrijvers, P Stuckey, P Wadler
Journal of Functional Programming 19 (6), 663-697, 2009
692009
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18, 269-305, 2013
682013
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
672005
User-definable rule priorities for CHR
L De Koninck, T Schrijvers, B Demoen
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
622007
Fusion for free: Efficient algebraic effect handlers
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
512015
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
512009
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
482005
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
462010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20