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.cse.chalmers.se/~rjmh/Papers/whyfp.html. Fulltext.