J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker. Stack-Based Typed Assembly Language. In Xavier Leroy, Atsushi Ohori, editors, Types in Compilation, Second International Workshop, TIC 98, Kyoto, Japan, March 25-27, 1998, Proceedings. Volume 1473 of Lecture Notes in Computer Science, pages 28-52, Springer, 1998. [doi]
Abstract is missing.