John C Mitchell: Concepts in Programming Languages, 2003. Cambridge University Press. ISBN: 0-521-78098-5. Seksjon 4.1; Kapitlene 5, 6,7,8,9,10,11,15.
Stein Krogdahl og Christian-Emil Ore: Om syntaks og syntaksanalyse, 1993. Til og med 4.2 er pensum. Fulltekst.
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.
Bjørn Kristoffersen: Funksjonell programmering i standard ML; kompendium 61, 1995. Hele kompendiet er pensum, bortsett fra kapittel 5 (imperative konstruksjoner) og avsnittet om funktorer. Fulltekst.
Andre nyttige skrifter
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. Fulltekst.
David MacQueen: Should ML be Object-Oriented, 2002. Fulltekst.
The official SML/NJ homepage, http://www.smlnj.org.
Riccardo Pucella: Notes on programming SML/NJ, http://www.cs.cornell.edu/riccardo/smlnj.html. Fulltekst.
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.
Kim B. Bruce: Some Challinging Typin Issues in Object-Oriented Languages, 2003. Fulltekst.