Gudmund Skovbjerg Frandsen, Carl Sturtivant
What is an Efficient Implementation of the λ-calculus?
FPCA, 1991.
@inproceedings{FPCA-1991-FrandsenS,
author = "Gudmund Skovbjerg Frandsen and Carl Sturtivant",
booktitle = "{Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture}",
doi = "10.1007/3540543961_14",
isbn = "3-540-54396-1",
pages = "289--312",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{What is an Efficient Implementation of the λ-calculus?}",
volume = 523,
year = 1991,
}
Tags: