A step-indexed model of substructural state.

Amal J. Ahmed, Matthew Fluet, Greg Morrisett

Browse the full ICFP paper archive.