Open in hackernews

A Dependently Typed Assembly Language [pdf] (2001)

https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf
2•todsacerdoti•2w ago