TALx86: A realistic typed assembly language (1999)

by G Morrisett, K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, S Zdancewic
Venue:In Second Workshop on Compiler Support for System Software