• A Dependently Typed Assembly Language [pdf] (2001) https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf 0 comments 28/4/2025