Stack-based typed assembly language (1998)

by Greg Morrisett, Karl Crary, Neal Glew, David Walker
Venue:In Second Workshop on Types in Compilation