|
Reload |
This page contains information about literature used in the
ICVM/F03 course, equipped with links to an electronic version of the
literature, when such a version is available.
| [ICVM.1] |
P. J. Landin:
The mechanical evaluation of expressions.
The Computer Journal, 6(4), 1964, pp. 308-320.
A printout of this paper has been provided. |
| [ICVM.2] |
The boot-strapping construction,
PS,
PDF. |
| [ICVM.3] |
Matthias Felleisen and Matthew Flatt:
Programming Languages and Lambda Calculi.
Local copy.
A printout of this paper has been provided. |
| [ICVM.4] |
John C. Reynolds:
Definitional Interpreters for Higher-Order
Programming Languages.
Local copy.
Higher-Order and Symbolic Computation, 11(4), 1998, pages
363-397.
A printout of this paper has been provided. |
| [ICVM.5] |
John C. Reynolds:
Definitional Interpreters Revisited.
Local copy.
Higher-Order and Symbolic Computation, 11(4), 1998, pages
355-361.
A printout of this paper has been provided. |
| [ICVM.6] |
Olivier Danvy: Course note
about the string parsing example presented at the lectures
on Feb. 19 |
| [ICVM.7] |
G. D. Plotkin: Call-by-Name, Call-by-Value and the
λ-Calculus. In
Theoretical Computer Science 1(1975), pages 125-159.
North-Holland Publishing Company.
A printout of this paper has been provided. |
| [ICVM.8] |
Philip Wadler: The essence of functional programming.
In Proceedings of POPL 92, pages 1--14.
ACM Press, New York, NY, USA, 1992.
A printout of this paper (a slightly revised version of the
one in the proceedings) was given out at the lectures in
week 9. |
| [ICVM.9] |
Olivier Danvy and Andrzej Filinsky:
Representing Control, a Study
of the CPS Transformation.
In Mathematical Structures in Computer Science 2(4):361-391,
1992. |
| [ICVM.10] |
Olivier Danvy:
A New One-Pass Transformation into
Monadic Normal Form.
To appear in Hedin, editor, Compiler Construction, 12th
International Conference, CC 2003 Proceedings, LNCS, 2003 |
| [ICVM.11] |
Olivier Danvy and Lasse R. Nielsen:
A First-Order One-Pass CPS Transformation,
Brics Report Series no. 49, 2001, December 2001. |
| [ICVM.12] |
Olivier Danvy and Lasse R. Nielsen:
CPS Transformation of Beta-Redexes
Brics Report Series no. 35, 2000, December 2000. |
| [ICVM.13] |
Olivier Danvy:
Formalizing Implementation Strategies for First-Class
Continuations.
In Lecture Notes on Computer Science, vol. 1782, pages
88-103. Springer-Verlag, 2000.
A printout of this paper was distributed at the lectures. |
| [ICVM.14] |
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, and Jan
Midtgaard:
From Interpreter to Compiler and Virtual Machine:
A Functional Derivation.
Brics Report Series no. 14, 2003. |
| |