Georgios Karachalias

According to our database, Georgios Karachalias authored at least 12 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl).

Marco Perone, Georgios Karachalias

CoRR, 2023

No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.

Roger Bosman, Georgios Karachalias, Tom Schrijvers

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Crème de la Crem: Composable Representable Executable Machines.

Marco Perone, Georgios Karachalias

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2021

Efficient compilation of algebraic effect handlers.

Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers

Proc. ACM Program. Lang., 2021

2020

Resolution as intersection subtyping via Modus Ponens.

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Proc. ACM Program. Lang., 2020

Explicit effect subtyping.

Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers

J. Funct. Program., 2020

2019

Bidirectional Type Class Instances (Extended Version).

Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers

CoRR, 2019

Bidirectional type class instances.

Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Explicit Effect Subtyping.

Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2018

2017

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!

Georgios Karachalias, Tom Schrijvers

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Quantified class constraints.

Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2015

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.

Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015