GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. - Georgios Karachalias; Tom Schrijvers; Dimitrios Vytiniotis; Simon L. Peyton Jones (ICFP, 2015)

Quantified class constraints. - Gert-Jan Bottu; Georgios Karachalias; Tom Schrijvers; Bruno C. d. S. Oliveira; Philip Wadler (Haskell, 2017)

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! - Georgios Karachalias; Tom Schrijvers (Haskell, 2017)

Explicit Effect Subtyping. - Amr Hany Saleh; Georgios Karachalias; Matija Pretnar; Tom Schrijvers (ESOP, 2018)

Bidirectional type class instances. - Koen Pauwels; Georgios Karachalias; Michiel Derhaeg; Tom Schrijvers (Haskell@ICFP, 2019)

Bidirectional Type Class Instances (Extended Version). - Koen Pauwels; Georgios Karachalias; Michiel Derhaeg; Tom Schrijvers (CoRR, 2019)

Explicit effect subtyping. - Georgios Karachalias; Matija Pretnar; Amr Hany Saleh; Stien Vanderhallen; Tom Schrijvers (J. Funct. Program., 2020)

Resolution as intersection subtyping via Modus Ponens. - Koar Marntirosian; Tom Schrijvers; Bruno C. d. S. Oliveira; Georgios Karachalias (Proc. ACM Program. Lang., 2020)

Efficient compilation of algebraic effect handlers. - Georgios Karachalias; Filip Koprivec; Matija Pretnar; Tom Schrijvers (Proc. ACM Program. Lang., 2021)

Crème de la Crem: Composable Representable Executable Machines. - Marco Perone; Georgios Karachalias (FUNARCH, 2023)

No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. - Roger Bosman; Georgios Karachalias; Tom Schrijvers (ITP, 2023)

Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl). - Marco Perone; Georgios Karachalias (CoRR, 2023)