Syllabus/achievement requirements

John C Mitchell: Concepts in Programming Languages, 2003. Cambridge University Press. ISBN:?0-521-78098-5. Sec. 4.1; Chapters 5,6,7,8,9,10,11, and 15.

Riccardo Pucella: Notes on programming SML/NJ, 2001. Cornell University . Sec. 1.1-1.3, 1.6, and sec. 2. http://www.cs.cornell.edu/riccardo/smlnj.html. Fulltext.

Gilad Bracha: Generics in the Java Programming Language, July 5, 2004. Seksjon 1-5. http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf.

Other useful texts

Ole Lehrmann Madsen, Birger M?ller-Pedersen, Kristen Nygaard: Object-Oriented Programming in the BETA Programming Language, 1993, 2000. http://www.daimi.au.dk/~beta/books.html.

Inner and super - together at last, OOPSLA, oktober 2004. Fulltext.

Bj?rn Kristoffersen: Funksjonell programmering i standard ML; kompendium 61, 1995. Fulltext.

David MacQueen: Should ML be Object-Oriented, 2002. Fulltext.

The official SML/NJ homepage, http://www.smlnj.org.

L.C. Paulson: ML for the working programmer, 1996. Cambridge University Press. ISBN:?0 521 57050 6 / 0 521 56543 X.

Prolog tutorial, http://www.cs.may.ie/~jpower/Courses/PROLOG/.

L. Sterling and E. Shapiro: The art of Prolog, 1994. MIT Press Series.

John Hughes: Why Functional Programming Matters, 1984. http://www.math.chalmers.se/~rjmh/Papers/whyfp.html. Fulltext.

Published Aug. 28, 2007 12:33 PM - Last modified Sep. 3, 2007 1:25 PM