Toward a foundational typed assembly language (0)

by K Crary
Venue:In Proceedings 30th ACM Symposium on Principles of Programming Languages