The functional abstract machine (1983)

by L Cardelli
Venue:Polymorphism