Quantified class constraints GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler ACM SIGPLAN Notices 52 (10), 148-161, 2017 | 28 | 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 | 18 | 2015 |
Explicit effect subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers European Symposium on Programming, 327-354, 2018 | 14 | 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 | 5 | 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 | | 2020 |
Explicit effect subtyping G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers arXiv preprint arXiv:2005.13814, 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 |