Two-level functional languages (1992)

by F Nielson, H Nielson