Notes about F ! <:. Unpublished manuscript (1990)

by Luca Cardelli
Venue:In Functional Prog. and Computer Architecture