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. Fulltext.
Slides/lecture notes are considered to be part of the syllabus for the course.
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. Fulltext
J.R. Fisher: Prolog tutorial, 1988–2011. http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html.
L. Sterling and E. Shapiro: The art of Prolog, 1994. MIT Press Series.
John Hughes: Why Functional Programming Matters, 1984. http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html. Fulltext.
Graham Hutton: Programming in Haskell, 2007. Cambridge University Press.
Miran Lipovaca: Learn You a Haskell, online tutorial. http://learnyouahaskell.com/.
Simon Peyton Jones (ed.): Haskell 98 language and libraries, 2003. Cambridge University Press.