Seguir
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
7412012
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
1602011
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 2004, 01, 2004
1202004
Towards typed prolog
T Schrijvers, V Santos Costa, J Wielemaker, B Demoen
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1092008
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
1002009
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
962014
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
942010
Meta-Theory a la Carte
B Delaware, BCS Oliveira, T Schrijvers
862013
Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary
T Schrijvers
International Conference on Logic Programming, 435-436, 2005
862005
Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR
J Sneyers, T Schrijvers, B Demoen
CW Reports, 13-13, 2005
772005
Optimal union-find in constraint handling rules
T Schrijvers, T Frühwirth
Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006
712006
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
User-definable rule priorities for CHR
L De Koninck, T Schrijvers, B Demoen
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
612007
Fusion for free: Efficient algebraic effect handlers
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
552015
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
492010
Syntax and semantics for operations with scopes
M Piróg, T Schrijvers, N Wu, M Jaskelioff
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
452018
Monad transformers and modular algebraic effects: what binds them together
T Schrijvers, M Piróg, N Wu, M Jaskelioff
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 98-113, 2019
432019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20