"Inferable object-oriented typed assembly language."

Ross Tate, Juan Chen, Chris Hawblitzel (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics