Quantified class constraints GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler ACM SIGPLAN Notices 52 (10), 148-161, 2017 | 38 | 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 | 27* | 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 | 11 | 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 |
Crème de la Crem: Composable Representable Executable Machines M Perone, G Karachalias Proceedings of the 1st ACM SIGPLAN International Workshop on Functional …, 2023 | 1 | 2023 |
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\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 |