- Bidirectional Type Class Instances(2019)
Auteurs: Koen Pauwels, Georgios Karachalias, Tom Schrijvers
Pagina's: 30 - 43
- Extensions to Type Classes and Pattern Match Checking(2018)
Auteurs: Georgios Karachalias, Tom Schrijvers
- Explicit effect subtyping(2018)
Auteurs: Amr Hany Shehata Saleh, Georgios Karachalias, Tom Schrijvers
Pagina's: 327 - 354
- Elaboration on functional dependencies: Functional dependencies are dead, long live functional dependencies!(2017)
Auteurs: Georgios Karachalias, Tom Schrijvers
Pagina's: 133 - 147
- Elaboration on functional dependencies: Functional dependencies are dead, long live functional dependencies!(2017)
Auteurs: Georgios Karachalias, Tom Schrijvers
Pagina's: 133 - 147
- Quantified class constraints(2017)
Auteurs: Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno CDS Oliveira, Philip Wadler
Pagina's: 148 - 161
- GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness(2015)
Auteurs: Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon Peyton Jones, K Fisher, J Reppy
Pagina's: 424 - 436
Aantal pagina's: 13
- GADTs meet their match: Pattern-matching warnings that account for GADTs, guards, and laziness(2015)
Auteurs: Georgios Karachalias
Pagina's: 424 - 436