| Swi-prolog J Wielemaker, T Schrijvers, M Triska, T Lager Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012 | 519 | 2012 |
| 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 | 174 | 2008 |
| 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 | 132 | 2011 |
| Complete and decidable type inference for GADTs T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis ACM Sigplan Notices 44 (9), 341-352, 2009 | 125 | 2009 |
| The KU Leuven CHR system: Implementation and application T Schrijvers, B Demoen First workshop on constraint handling rules: selected contributions, 1-5, 2004 | 117 | 2004 |
| 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 | 92 | 2010 |
| Analyses, optimizations and extensions of constraint handling rules: Ph. D. summary T Schrijvers International Conference on Logic Programming, 435-436, 2005 | 84 | 2005 |
| Towards typed prolog T Schrijvers, VS Costa, J Wielemaker, B Demoen International Conference on Logic Programming, 693-697, 2008 | 80 | 2008 |
| Optimal union-find in constraint handling rules T Schrijvers, T Frühwirth Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006 | 72 | 2006 |
| 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 | 70 | 2006 |
| 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 | 65 | 2005 |
| Monadic constraint programming T Schrijvers, P Stuckey, P Wadler Journal of Functional Programming 19 (6), 663-697, 2009 | 64 | 2009 |
| Search combinators T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey Constraints 18 (2), 269-305, 2013 | 62 | 2013 |
| User-definable rule priorities for CHR L De Koninck, T Schrijvers, B Demoen Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 59 | 2007 |
| Meta-Theory a la Carte B Delaware, BCS Oliveira, T Schrijvers | 56 | 2013 |
| Effect handlers in scope N Wu, T Schrijvers, R Hinze Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014 | 54 | 2014 |
| 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 | 49 | 2009 |
| 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 | 46 | 2005 |
| Abstract interpretation for constraint handling rules T Schrijvers, PJ Stuckey, GJ Duck Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 44 | 2005 |
| 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 | 39 | 2010 |
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
