Georgios Karachalias

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Crème de la Crem: Composable Representable Executable Machines.
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2021
Efficient compilation of algebraic effect handlers.
Proc. ACM Program. Lang., 2021

2020
Resolution as intersection subtyping via Modus Ponens.
Proc. ACM Program. Lang., 2020

Explicit effect subtyping.
J. Funct. Program., 2020

2019
Bidirectional Type Class Instances (Extended Version).
CoRR, 2019

Bidirectional type class instances.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018
Explicit Effect Subtyping.
Proceedings of the Programming Languages and Systems, 2018

2017
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Quantified class constraints.
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.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015


  Loading...