Two-Level Functional Languages, volume 34 of Cambridge Tracts (1992)

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