Two-Level Functional Languages. Number 34 (1992)

by F Nielson, H R Nielson
Venue:in Cambridge Tracts in Theoretical Computer Science