Recursive Polymorphic Types and Parametricity in an Operational Framework

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.42 ◽

2006 ◽

Cited By ~ 13

Author(s):

P.-A. Mellies ◽

J. Vouillon

Download Full-text