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
292017
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
162015
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
European Symposium on Programming, 327-354, 2018
112018
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
G Karachalias, T Schrijvers
ACM SIGPLAN Notices 52 (10), 133-147, 2017
42017
Resolution as Intersection Subtyping via Modus Ponens
K Marntirosian, T Schrijvers, BCS Oliveira, G Karachalias
arXiv preprint arXiv:2010.06216, 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)
AHS Saleh, G Karachalias, M Pretnar, T Schrijvers
CW Reports, 2018
2018
Elaboration on Functional Dependencies
G Karachalias, T Schrijvers
2017
Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων
ΓΔ Καραχάλιας
2014
The system can't perform the operation now. Try again later.
Articles 1–12