Georgios Karachalias

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Topics

Relational Database Theory

Negative Impact

Functional Dependencies

Top Venues

Proc. ACM Program. Lang.

Publications

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