Georgios Karachalias

14 papers A 2B 1C 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl).
CoRR
Marco Perone, Georgios Karachalias
2023 — conf
Crème de la Crem: Composable Representable Executable Machines.
FUNARCH
Marco Perone, Georgios Karachalias
2023 B conf
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.
ITP
Roger Bosman, Georgios Karachalias, Tom Schrijvers
2021 J jnl
Efficient compilation of algebraic effect handlers.
Proc. ACM Program. Lang.
Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers
2020 J jnl
Explicit Effect Subtyping.
CoRR
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
2020 J jnl
Explicit effect subtyping.
J. Funct. Program.
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
2020 J jnl
Resolution as Intersection Subtyping via Modus Ponens.
CoRR
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
2020 J jnl
Resolution as intersection subtyping via Modus Ponens.
Proc. ACM Program. Lang.
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
2019 J jnl
Bidirectional Type Class Instances (Extended Version).
CoRR
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
2019 — conf
Bidirectional type class instances.
Haskell@ICFP
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
2018 A conf
Explicit Effect Subtyping.
ESOP
Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
2017 C conf
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
Haskell
Georgios Karachalias, Tom Schrijvers
2017 C conf
Quantified class constraints.
Haskell
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
2015 A conf
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.
ICFP
Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones