The genericity theorem and parametricity in functional languages (1993)

by G Longo, K Milsted, S Soloviev
Venue:In 8th Annual IEEE Symposium on Logic in Computer Science