"A reading list on F# and other ML languages"
fdatamining.blogspot.hk
Пост обновлялся в декабре 2012, часть pdf находится на CiteSeer, а значит не пропадёт в ближайшее время. В последней секции Courses and tutorials присутствуют любопытные ссылки на следующие курсы (2011, '12, '13):
Cornell CS3110. Data Structures and Functional Programming. (uses OCaml)
cs.cornell.edu
Harvard CS51. Introduction to Computer Science II: Abstraction and Design. (uses OCaml)
cs51.seas.harvard.edu
IT University of Copenhagen. Programs as data. (uses F#)
itu.dk
Yale CS421. Compilers and Interpreters. (uses SML)
flint.cs.yale.edu
Resources и Lecture Notes наличествуют. В комментариях ещё moar ссылок накидали!
И чтобы два раза не вставать, подкинули также
Andrew W. Appel "A Runtime System" (1990)
citeseerx.ist.psu.edu
David Tarditi et al. "No Assembly Required: Compiling Standard ML to C" (1990)
citeseer.ist.psu.edu
"This course is an introduction to the basic concepts of programming languages, with a strong emphasis on functional programming. The course uses the languages ML, Racket, and Ruby as vehicles for teaching the concepts, but the real intent is to teach enough about how any language “fits together” to make you more effective programming in any language — and in learning new ones"
class.coursera.org