Check out typed assembly languages like TALx86. https://en.wikipedia.org/wiki/Ty... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

cpeterso 8 months ago | parent | context | favorite | on: Coq: The World's Best Macro Assembler? (2013) [pdf...

Check out typed assembly languages like TALx86.

https://en.wikipedia.org/wiki/Typed_assembly_language

kragen 8 months ago [–]

Thanks for the link!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact