J. Gregory Morrisett Karl Crary Neal Glew David Walker Stack-based typed assembly language. 3-88 2002 12 J. Funct. Program. 1 db/journals/jfp/jfp12.html#MorrisettCGW02