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
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