UU | IT | AFP fall 14

Lecture notes

Most notes come in two formats, "for projector" and "for printing". In a few cases the notes "for printing" may contain text that I could not fit on the slides.

Lecture 1

October 27, 2014

Introduction to the course

for projector, for printing.

Erlang

for projector, for printing.

Exercises. Programs

Lecture 2

October 28, 2014

Concurrent programming in Erlang

for projector, for printing.

Exercises.

Lecture 3

October 29, 2014

More Erlang

for projector, for printing.

Programs

Erlang: Analyzing and testing

PDF Slides.

Lecture 4

November 4, 2014

Common Lisp

for projector, for printing.

Programs

Exercises.

Lecture 5

November 5, 2014

Common Lisp, Packages

for projector, for printing.

Common Lisp, Macros

for projector, for printing.

Exercises.

Lecture 6

November 10, 2014

Haskell

for projector, for printing.

Exercises.

Lecture 7

November 13, 2014

Type Classes

for projector, for printing.

More Haskell

for projector, for printing.

Programs

Lecture 8

November 14, 2014

Monads

Monads (notes)

Lists as monads (notes)

Programs

Lecture 9

November 20, 2014.

Type inference and a Lisp implementation

Programs