Follow
Georgios Karachalias
Georgios Karachalias
Tweag I/O
Verified email at tweag.io - Homepage
Title
Cited by
Cited by
Year
Quantified class constraints
GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler
ACM SIGPLAN Notices 52 (10), 148-161, 2017
372017
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
232015
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
222018
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
212021
Explicit effect subtyping
G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers
Journal of Functional Programming 30, e15, 2020
72020
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
G Karachalias, T Schrijvers
Acm Sigplan Notices 52 (10), 133-147, 2017
62017
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
52020
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
32015
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
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
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
2019
Bidirectional Type Class Instances (Extended Version)
K Pauwels, G Karachalias, M Derhaeg, T Schrijvers
arXiv preprint arXiv:1906.12242, 2019
2019
Explicit effect subtyping (Extended version)
AHS Saleh, G Karachalias, M Pretnar, T Schrijvers
CW Reports, 2018
2018
Extensions to Type Classes and Pattern Match Checking
G Karachalias
2018
Elaboration on Functional Dependencies
G Karachalias, T Schrijvers
2017
Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων
ΓΔ Καραχάλιας
2014
The system can't perform the operation now. Try again later.
Articles 1–17