Tom Schrijvers
Tom Schrijvers
Professor of Computer Science, KU Leuven
Dirección de correo verificada de cs.kuleuven.be - Página principal
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
5222012
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
1752008
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
1332011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1252009
The KU Leuven CHR system: Implementation and application
T Schrijvers, B Demoen
First workshop on constraint handling rules: selected contributions, 1-5, 2004
1172004
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
922010
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary
T Schrijvers
International Conference on Logic Programming, 435-436, 2005
842005
Towards typed prolog
T Schrijvers, VS Costa, J Wielemaker, B Demoen
International Conference on Logic Programming, 693-697, 2008
812008
Optimal union-find in constraint handling rules
T Schrijvers, T Frühwirth
Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006
722006
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
702006
Monadic constraint programming
T Schrijvers, P Stuckey, P Wadler
Journal of Functional Programming 19 (6), 663-697, 2009
662009
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
652005
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
632013
User-definable rule priorities for CHR
L De Koninck, T Schrijvers, B Demoen
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
592007
Meta-Theory a la Carte
B Delaware, BCS Oliveira, T Schrijvers
572013
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
542014
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
492009
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
462005
Abstract interpretation for constraint handling rules
T Schrijvers, PJ Stuckey, GJ Duck
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
442005
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
392010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20