Stack-based typed assembly language (0)

by G Morrisett, K Crary, N Glew, D Walker
Venue:JFP