@inproceedings{DBLP:conf/fp/Rothwell91,
author = {Nick Rothwell},
title = {Functional Compilation from the Standard ML Core Language
to Lambda Calculus},
booktitle = {Functional Programming},
year = {1991},
pages = {265-277},
crossref = {DBLP:conf/fp/1991},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fp/1991,
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Functional Programming, Glasgow 1991, Proceedings of the
1991 Glasgow Workshop on Functional Programming, Portree,
Isle of Skye, 12-14 August 1991},
booktitle = {Functional Programming},
publisher = {Springer},
series = {Workshops in Computing},
year = {1992},
isbn = {3-540-19760-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}