| | Concepts in Programming Languages 2007–08
Principal lecturer: Dr Marcelo Fiore Taken by: Part IB, Part II (General), Diploma Syllabus
Past exam questions
Another
past exam question
Lecture slides (lectures I-VIII)
Books
Main:
J.C.
Mitchell.
Concepts
in programming languages.
Cambridge University Press, 2003.
T.W.Pratt and
M.V.Zelkowitz.
Programming
Languages: Design and implementation (3rd edition).
Prentice Hall, 1999.
Other:
R. L. Wexelblat (ed.). History of Programming Languages.
ACM Monograph Series, 1981.
N. Metropolis, J. Howlett, G.-C. Rota (eds.).
A
History of Computing in the Twentieth Century: A Colletion of
Essays.
Academic Press, 1980.
T. J. Bergin and R. G. Gibson (eds.). History of programming
languages - II.
ACM Press, 1996.
Further reading material
P.J. Landin.
The next 700
programming languages.
Communications of the ACM, Volume 9, Issue 3,
1966.
D. D. Clark.
The
structuring of systems using upcalls.
Proceedings of the tenth ACM Symposium on
Operating Systems Principles, pages 171-180, 1985.
L. Cardelli and
P. Wegner.
On
understanding types, data abstraction, and polymorphism.
Computing Surveys, Vol 17 n. 4, pages
471-522, 1985.
P. Canning,
W. Cook, W. Hill,
W. Olthoff,
J.C.
Mitchell.
F-bounded
polymorphism for object-oriented programming.
Proceedings of the Fourth International
Conference on Functional Programming Languages and Computer
Architecture, 1989.
R. P. Draves, B. N. Bershad, R. F. Rashid, and R. W. Dean.
Using
Continuations to Implement Thread Management and Communication in
Operating Systems.
Proceedings of the thirteenth ACM
Symposium on Operating Systems Principles, pages 122-136, 1991.
M. P. Jones.
Using
Parameterized Signatures to Express Modular Structure.
In Proceedings of the Twenty Third Annual
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
1996.
M. Odersky,
C. Zenger, and
M. Zenger.
Colored
local type inference.
ACM SIGPLAN Notices archive. Volume 36,
Issue 3, pages 41-53, 2001.
R. Garcia,
J. Jarvi,
A. Lumsdaine,
J. G. Siek, and
J. Willcock.
A
comparative study of language support for generic programming.
ACM SIGPLAN Notices, Proceedings of the
OOPSLA'03 Conference, 2003.
A. Kennedy and
C. Russo.
Generalized
Algebraic Datatypes and Object-Oriented Programming.
Conference on Object-Oriented Programming
Systems, Languages, and Applications, 2005.
N. Wirth.
Good
Ideas --- Through the Looking Glass.
IEEE Computer, pages 56--68, 2006.
P. Hudak,
J. Hughes,
S. Peyton Jones,
P. Wadler.
A
History of Haskell: being lazy with class.
The Third ACM SIGPLAN History of Programming
Languages Conference (HOPL-III) San Diego, California, June 9-10, 2007.
A. Kennedy.
Lecture slides on
Java (1996) and C# (2000), 2007.
Feedback
Please provide feedback through the online
lecture course
feedback form.
|