TALx86: A realistic typed assembly language (1999)

by Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic
Venue:In Second Workshop on Compiler Support for System Software