Tom Schrijvers
Tom Schrijvers
Professor of Computer Science, KU Leuven
Verified email at cs.kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Swi-prolog
J Wielemaker, T Schrijvers, M Triska, T Lager
arXiv preprint arXiv:1011.5332, 2010
4902010
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
1742008
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1282009
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
1262011
The KU Leuven CHR system: Implementation and application
T Schrijvers, B Demoen
First workshop on constraint handling rules: selected contributions, 1-5, 2004
1182004
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
912009
Analyses, optimizations and extensions of constraint handling rules: ph. d. summary
T Schrijvers
International Conference on Logic Programming, 435-436, 2005
862005
Towards typed prolog
T Schrijvers, VS Costa, J Wielemaker, B Demoen
International Conference on Logic Programming, 693-697, 2008
782008
Optimal union-find in constraint handling rules
T Schrijvers, T Frühwirth
arXiv preprint cs/0501073, 2005
732005
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
692006
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
662005
Monadic constraint programming
T Schrijvers, P Stuckey, P Wadler
Journal of Functional Programming 19 (6), 663-697, 2009
632009
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
602013
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
562013
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
482014
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
482009
Abstract interpretation for constraint handling rules
T Schrijvers, PJ Stuckey, GJ Duck
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
462005
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
452005
Automatic implication checking for CHR constraints
T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth
Electronic notes in theoretical computer science 147 (1), 93-111, 2006
392006
The system can't perform the operation now. Try again later.
Articles 1–20