Parametric polymorphism and semantic subtyping: the logical connection.

Nils Gesbert, Pierre Genevs, Nabil Layada

Browse the full ICFP paper archive.