Typed assembly language

Typed assembly language
[Google Scholar] [Wikipedia]

Notes: proof carrying code
Papers: morrisett:wcsss:1999, mycroft:esop:1999

todo: