Stack-based Typed Assembly Language (1998)

by Greg Morrisett, Karl Crary, Neal Glew, David Walker
Venue:Second International Workshop on Types in Compilation, volume 1473 of Lecture Notes in Computer Science