System F - Relational Parametricity and Refinement

System F - Relational Parametricity and Refinement

System F - Relational Parametricity and Refinement

Authors: J. E. Hannay
Status: Published
Publication type: Presentation
Year of publication: 2003
Journal: Three lectures given at the University of Oslo
Publisher: -
Citation key: 11690

Google Scholar BibTex