References

The lecture slides (jupyter notebooks) will be shared before each lecture. These can be accessed at this github page.

Here are some additional references:

Ocaml

  • Functional Programming in OCaml, Cornell CS3100 textbook. Freely available here
  • Real World OCaml by Yaron Minsky, Anil Madhavapeddy and Jason Hickey. The book is freely available here.
  • OCaml Manual - available here.
  • For practicing programming in OCaml - see 99 Problems in OCaml

Lambda Calculus

  • Types and Programming Languages by Benjamin Pierce.
  • Lecture notes on Lambda Calculus by Peter Seliner, available here.

Prolog

  • Programming Languages, Concepts and Constructs, 2nd edition, by Ravi Sethi. Chapter 11.
  • The Art of Prolog, 2nd edition, by Leon Sterling and Ehud Y. Shapiro.
Next