A dependently typed assembly language (2001)

by Hongwei Xi, Robert Harper
Venue:In International Conference on Functional Programming