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 Proceedings of Workshop on Compiler Support for System Software