The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (1992)

by Giuseppe Longo , Kathleen Milsted , Sergei Soloviev
Venue:THEORETICAL COMPUTER SCIENCE
Citations:15 - 5 self