AuthorsJ. E. Hannay
TitleSystem F - Relational Parametricity and Refinement
AfilliationSoftware Engineering, Software Engineering
StatusPublished
Publication TypeTalks, contributed
Year of Publication2003
Location of TalkThree lectures given at the University of Oslo
Citation KeySimula.SE.613