Caption title.
Functional compilation from the Standard ML core language to lambda calculus by Nick Rothwell. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1992. Publication and catalogue information, links to buy online and reader comments.