@inproceedings{DBLP:conf/popl/Field90,
author = {John Field},
title = {On Laziness and Optimality in Lambda Interpreters: Tools
for Specification and Analysis},
booktitle = {POPL},
year = {1990},
pages = {1-15},
ee = {http://doi.acm.org/10.1145/96709.96710},
crossref = {DBLP:conf/popl/1990},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/1990,
editor = {Frances E. Allen},
title = {Conference Record of the Seventeenth Annual ACM Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 1990},
booktitle = {POPL},
publisher = {ACM Press},
year = {1990},
isbn = {0-89791-343-4},
ee = {http://dl.acm.org/citation.cfm?id=96709},
bibsource = {DBLP, http://dblp.uni-trier.de}
}