Compiling a functional language (0)

by L Cardelli
Venue:In Proc. ACM LFP’84