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
7312012
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
1992008
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
1572011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1372009
The KU Leuven CHR system: Implementation and application
T Schrijvers, B Demoen
First workshop on constraint handling rules: selected contributions, 1-5, 2004
1262004
Towards typed prolog
T Schrijvers, V Santos Costa, J Wielemaker, B Demoen
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1112008
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
1012010
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
912014
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary
T Schrijvers
International Conference on Logic Programming, 435-436, 2005
912005
Meta-Theory a la Carte
B Delaware, BCS Oliveira, T Schrijvers
852013
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
812006
Optimal union-find in constraint handling rules
T Schrijvers, T Frühwirth
Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006
742006
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18, 269-305, 2013
712013
Monadic constraint programming
T Schrijvers, P Stuckey, P Wadler
Journal of Functional Programming 19 (6), 663-697, 2009
712009
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
532015
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
512005
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
482010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20