and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts (1992)

by Flemming Nielson
Venue:in Theoretical Computer Science