| Quantified class constraints GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler ACM SIGPLAN Notices 52 (10), 148-161, 2017 | 36 | 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 | 24 | 2015 |
| Explicit effect subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 22 | 2018 |
| 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 | 10 | 2021 |
| Explicit effect subtyping G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers Journal of Functional Programming 30, e15, 2020 | 7 | 2020 |
| Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! G Karachalias, T Schrijvers Acm Sigplan Notices 52 (10), 133-147, 2017 | 6 | 2017 |
| 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 | 5 | 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 |
| No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System R Bosman, G Karachalias, T Schrijvers 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023 | 1 | 2023 |
| 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 | 1 | 2019 |
| Crème de la Crem: Composable Representable Executable Machines M Perone, G Karachalias Proceedings of the 1st ACM SIGPLAN International Workshop on Functional …, 2023 | | 2023 |
| Cr\eme de la Crem: Composable Representable Executable Machines (Architectural Pearl) M Perone, G Karachalias arXiv preprint arXiv:2307.09090, 2023 | | 2023 |
| 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 |
| Elaboration on Functional Dependencies G Karachalias, T Schrijvers | | 2017 |
| Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων ΓΔ Καραχάλιας | | 2014 |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
