Stack-Based Typed Assembly Language (1998)

by G Morrisett, K Crary, N Glew, D Walker
Venue:Workshop on Types in Compilation, volume 1473 of Lecture Notes in Computer Science