diff options
Diffstat (limited to 'bib.bib')
| -rw-r--r-- | bib.bib | 27 |
1 files changed, 26 insertions, 1 deletions
@@ -197,4 +197,29 @@ simple, portable techniques, such as bytecode interpretation; a sophisticated execution model helps counterbalance the interpretation overhead.}, xtopic = {caml} -}
\ No newline at end of file +} + +@book{PeytonJones87, + author = {Peyton Jones, Simon L.}, + title = {The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)}, + year = {1987}, + isbn = {013453333X}, + publisher = {Prentice-Hall, Inc.}, + address = {Upper Saddle River, NJ, USA}, +} + +@incollection{Mogensen00, +year={2000}, +isbn={978-3-540-67102-2}, +booktitle={Perspectives of System Informatics}, +volume={1755}, +series={Lecture Notes in Computer Science}, +editor={Bjøner, Dines and Broy, Manfred and Zamulin, AlexandreV.}, +doi={10.1007/3-540-46562-6_11}, +title={Linear Time Self-Interpretation of the Pure Lambda Calculus}, +url={http://dx.doi.org/10.1007/3-540-46562-6_11}, +publisher={Springer Berlin Heidelberg}, +author={Mogensen, TorbenÆ.}, +pages={128-142}, +language={English} +} |