A Linearly Typed Assembly Language (0)

by James Cheney, Greg Morrisett
Venue:In Workshop on Types in Compilation