A dependently typed assembly language

Hongwei Xi, Robert Harper
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming
ICFP'01
Florence, Italy
Association for Computing Machinery
New York, NY, USA
Pages 169–180
2001
Topic(s): types
Note(s): dependent type, typed assembly language