A step-indexed model of substructural state (2005)

by A Ahmed, M Fluet, G Morrisett
Venue:In ICFP