Gesbert, Genevès, Layaïda, 2011. Parametric polymorphism and semantic subtyping, in: . ACM Press.. https://doi.org/10.1145/2034773.2034789