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. 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.

Publisert 23. juni 2017 11:07 - Sist endret 13. sep. 2017 10:44