On-line books, lecture notes, etc

• Tutorial Papers in Functional Programming
• Programming in Standard ML, by Bob Harper
• A Gentle Introduction to ML, by Andrew Cumming
• Programming in Standard ML '97: An On-line Tutorial, by Stephen Gilmore
• Notes on Programming SML/NJ, by Riccardo Pucella
• Book on programming in OCaml, by Jason Hickey
• Introduction to Functional Programming (1995/6), Mike Gordon (course page, includes lecture notes)
• Introduction to Functional Programming (1996/7), John Harrison (course page, includes lecture notes)
• Foundations of Computer Science, by Larry Paulson (uses ML, 155pp)
• Introduction to Functional Programming using Gofer, by P.E.Wentworth (100pp)
• Functional Programming, Jeroen Fokker (Gofer, similar to Hugs)
• The Scheme Programming Language, R. Kent Dybvig
• How to Design Programs (TeachScheme! Project)
• On Lisp, Paul Graham (432pp)
• Lecture Notes on PROLOG , UNE
• Concepts, Techniques and Models of Computer Programming, Peter Van Roy & Seif Haridi (uses Mozart/Oz)
• Structure and Interpretation of Computer Programs, Abelson, Sussman, and Sussman
• Structure and Interpretation of Computer Programs (course, uses ML)
• Implementing Functional Languages -- A Tutorial, Simon Peyton-Jones
• Unix System Programming with Standard ML, Anthony L Shipman
• Course on Monads and Effects, N.Benton, J.Hughes and E.Moggi, APPSEM Summer School (72pp)
• Foundations of Functional Programming, Larry Paulson (lambda calculus and combinators, 58pp)

Theory, other

• Reprints in Theory and Applications of Categories
• Various Books, Jean Gallier
• BRICS Lecture Series, Abstracts
• Foundational papers by Henk Barendregt
• Categorical Logic , Andrew Pitts
• Toposes Triples and Theories , Barr and Wells
• Category Theory Primer , Chris Hillman (first one) (114pp) | Jaap van Oosten, BRICS (last one) (75pp) | updated | ESSLLI course, Barr and Wells (128pp)
• An Introduction to the Theory of Computation, Eitan Gurari
• Elementary Set Theory with a Universal Set, M. Randall Holmes
• Tree Automata Techniques and Applications, H. Comon et al.

Lambda Calculus

• Lambda Calculi with Types, Henk Barendregt (192pp)
• Lambda Calculus, C.-H. Luke Ong (64pp)
• Notes on Simply Typed Lambda Calculus, Ralph Loader (39pp)
• Programming Languages and Lambda Calculi, Matthias Felleisen (draft, 127pp)
• Lectures on the Curry-Howard Isomorphism , M Sorensen and P Urzyczyn | errata

Logic, Proof Theory

• Proofs and Types , Jean-Yves Girard, Yves Lafont and Paul Taylor
• Proof Theory , Helmut Schwichtenberg (80pp)
• A Problem Course in Mathematical Logic, Stefan Bilaniuk
• Proof-checking using Dependent Type Systems , Henk Barendregt and Herman Geuvers, Handbook of Artificial Reasoning
• Logic for Computer Science, Jean Gallier
• Computation and Deduction , Frank Pfenning (312pp, uses Twelf)
• Logic and Proof , Larry Paulson (78pp)
• Higher Order Logic , Daniel Leivant (chapter of a handbook, Aug 1993)
• Higher-Order Logic Programming , Gopalan Nadathur and Dale Miller
• Proof Procedures in Logic Programming , Donald Loveland and Gopalan Nadathur
• Tools and Techniques in Modal Logic , Marcus Kracht (540pp)
• Logical Frameworks , David Basin, Sean Matthews (77pp)
• Proof Interpretations and the Computational Content of Proofs , Ulrich Kohlenbach (Draft, January 2006, ii+412pp.)

Programming languages - design, implementation

• Principles of Programming Languages Course Notes. Oege de Moor (draft, 190pp)
• Advanced Programming Language Design, Raphael Finkel
• Lecture Notes on The Implementation of Programming Languages, Dijkstra, Atze and Swierstra, Doaitse
• Lecture Notes on Grammars and Parsing, Jeuring, J.T. and Swierstra, S.D
• Introduction to Programming Languages, Anthony A. Aaby
• Concepts, Techniques, and Models of Computer Programming, Peter Van Roy and Seif Haridi (uses Oz)
• Partial Evaluation and Automatic Program Generation , N.D. Jones, C.K. Gomard, and P. Sestoft
• Notes on Object-Oriented Program Design, Robert ``Corky'' Cartwright (on Java)
• Thinking in Java , Bruce Eckel
• Java Precisely , Peter Sestoft
• Information Systems Developers Handbook , USQ
• various by Thomas Streicher, including
  • Introduction to Constructive Logic and Mathematics
  • Mathematical Foundations of Functional Programming
  • Category Theory and Categorical Logic
  • Categorical Models of Constructive Logic

Semantics, types

• Semantics of types in programming languages, Carl A. Gunter
• Semantic domains, Carl A. Gunter and Dana S. Scott, 46pp
• Semantics of Programming Languages, Andrew Pitts (89pp)
• An Introduction to Operational Semantics, Sanjiva Prasad and S. Arun-Kumar
• A Tutorial on (Co)Algebras and (Co)Induction, Bart Jacobs and Jan Rutten (38pp)
• Correspondence between Operational and Denotational Semantics, Luke Ong, Handbook of Logic in Computer Science, Volume 4
• Implementing Mathematics with The Nuprl Proof Development System, (contains stuff on semantics, types)
• notes on domain theory, Gordon Plotkin
• Domain Theory, S. Abramsky, Achim Jung (handbook chapter, 168pp)
• An Introduction to the Pi-Calculus, Joachim Parrow (handbook chapter, 72pp)
• Refinement Calculus: A Systematic Introduction, Back, Ralph-Johan and von Wright, Joakim (522pp)

Rewriting

• Rewrite Systems, Nachum Dershowitz and J.-P. Jouannaud version of chapter 6 of Handbook of Theoretical Computer Science B: Formal Methods and Semantics (1990) 243-320

mathematics