Typed machine language and its semantics. Preliminary version available at www.cs.princeton.edu/~appel/papers/tml.pdf (2001)

by K N Swadi, A W Appel