Toward a foundational typed assembly language (0)

by Karl Crary
Venue:In The 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages