| Quantified class constraints GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler ACM SIGPLAN Notices 52 (10), 148-161, 2017 | 32 | 2017 |
| GADTs Meet Their Match: pattern-matching warnings that account for GADTs, guards, and laziness G Karachalias, T Schrijvers, D Vytiniotis, SP Jones Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 19 | 2015 |
| Explicit effect subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers European Symposium on Programming, 327-354, 2018 | 16 | 2018 |
| Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! G Karachalias, T Schrijvers Acm Sigplan Notices 52 (10), 133-147, 2017 | 7 | 2017 |
| Explicit effect subtyping G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers Journal of Functional Programming 30, 2020 | 3 | 2020 |
| GADTs meet their match (extended version) G Karachalias, T Schrijvers, D Vytiniotis, SP Jones Technical report, KU Leuven, 2015. URL http://people. cs. kuleuven. be …, 2015 | 3 | 2015 |
| Efficient compilation of algebraic effect handlers G Karachalias, F Koprivec, M Pretnar, T Schrijvers Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | | 2021 |
| Resolution as intersection subtyping via Modus Ponens K Marntirosian, T Schrijvers, BCS Oliveira, G Karachalias Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | | 2020 |
| Bidirectional type class instances K Pauwels, G Karachalias, M Derhaeg, T Schrijvers Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 30-43, 2019 | | 2019 |
| Bidirectional Type Class Instances (Extended Version) K Pauwels, G Karachalias, M Derhaeg, T Schrijvers arXiv preprint arXiv:1906.12242, 2019 | | 2019 |
| Extensions to Type Classes and Pattern Match Checking G Karachalias | | 2018 |
| Explicit Effect Subtyping (Extended Version) AH Saleh, G Karachalias, M Pretnar, T Schrijvers CW Reports, 2018 | | 2018 |
| Elaboration on Functional Dependencies G Karachalias, T Schrijvers | | 2017 |
| Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων ΓΔ Καραχάλιας | | 2014 |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
