Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Typed assembly language
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Proof-carrying_code/C9shJh1p">Proof-carrying code</a></li></ul> <h2 id="further-reading">Further reading</h2> <ul><li><a href="/facts/Greg_Morrisett/dMszECjS">Greg Morrisett</a>. "Typed assembly language" in <i>Advanced Topics in Types and Programming Languages</i>. Editor: <a href="/facts/Benjamin_C._Pierce/m9DKUgML">Benjamin C. Pierce</a>.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.cs.cornell.edu/talc/">TALx86</a>, a research project from Cornell University which has implemented a typed assembler for the Intel <a href="/facts/IA-32/7yTv1aHH">IA-32</a> architecture.</li></ul>