Inferable object-oriented typed assembly language.

Ross Tate, Juan Chen, Chris Hawblitzel

Browse the full PLDI paper archive.