Abstraction Barrier-Observing Relational Parametricity

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/3-540-44904-3_10 ◽

2003 ◽

pp. 135-152 ◽

Cited By ~ 2

Author(s):

Jo Hannay

Download Full-text