Typed Assembly Language
Typed Assembly LanguageA typed AssemblyLanguage in general or the TypedAssemblyLanguage TAL in particular.
See e.g.
See also ProofCarryingCode EditText of this page
(last edited June 27, 2005)
or FindPage with title or text search