G. Scherer and D. Rémy, Gallium) GADTs meet Subtyping, 201219-09-17.
DOI : 10.1007/978-3-642-37036-6_30

G. Scherer and D. Rémy, Gallium) GADTs meet Subtyping, 201220-09-17.