Skip to content

Generalizing Parametricity Using Information-flow.

Geoffrey Washburn, Stephanie Weirich

VenueA*LICS
Year2005
ProceedingsLICS

Browse the full LICS paper archive.