Two-Level Functional Languages (1992)

by F Nielson, H Nielson