- Papers
- Family Polymorphism Erik Ernst 2001
- The expression problem, Scandinavian style Erik Ernst 2004
- Lightweight Family Polymorphism Atsushi Igarashi, Chieri Saito, Mirko Viroli 2005
- A Nominal Theory of Objects with
Dependent Types Martin Odersky, Vincent Cremet, Christine R¨ockl, Matthias Zenger 2002?
- Family Genericity Erik Ernst 2006
- Revisiting Parametric Types and Virtual Classes Anders Bach Madsen, Erik Ernst 2010
- Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
YIZHOU ZHANG, ANDREW C. MYERS 2017
- The Essence of Nested Composition Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers 2018
- A Path To DOT: Formalizing Fully Path-Dependent Types MARIANNA RAPOPORT, ONDŘEJ LHOTÁK 2019
- Row and Bounded Polymorphism via Disjoint Polymorphism Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers 2020
- Posts
- Stephen Compall 2015-2017
- [[TODO]] add mdoc to the repository