The Categorical Abstract Machine (1985)

by G Cousineau, P-L Curien, M Mauny
Venue:In Functional Programming Languages and Computer Architecture