Georgios Karachalias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2023
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ITP | No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. | Roger Bosman, Georgios Karachalias, Tom Schrijvers |
| 2019 | HASKELL | Bidirectional type class instances. | Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers |
| 2018 | ESOP | Explicit Effect Subtyping. | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
| 2017 | HASKELL | Quantified class constraints. | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
| 2017 | HASKELL | Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! | Georgios Karachalias, Tom Schrijvers |
| 2015 | ICFP | GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |