Open in hackernews

A Dependently Typed Assembly Language [pdf] (2001)

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