The genericity theorem and parametricity in functional languages. Theoretical Computer Science (1993)

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