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
282017
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
182015
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
European Symposium on Programming, 327-354, 2018
142018
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
G Karachalias, T Schrijvers
Acm Sigplan Notices 52 (10), 133-147, 2017
52017
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
The system can't perform the operation now. Try again later.
Articles 1–12