Introduction to Declarative Programming

VU 3   WS 2005/06   LVA 703202

Schedule and Exercises

Logic Programming

• see here

Week 7 (November 25)

• slides: w7-1x2.pdf w7-2x2.pdf
• exercises: e7.pdf
• emacs configuration tuareg.txt (insert it to your .emacs on ZID)
• literature: OCaml Reference Manual

Week 8 (December 2)

• slides: w8-1x2.pdf w8-2x2.pdf
• exercises: e8.pdf
• literatures:
  • The Caml Language - Using the Format module
  • The OCaml System - Implementation

Week 9 (December 9)

• slides: w9-1x2.pdf w9-2x2.pdf
• exercises: e9.pdf
• literature: Richard Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall Europe. Chapter 4.

Week 10 (December 16)

• slides: w10-1x2.pdf w10-2x2.pdf
• exercises: e10.pdf
• literature: Richard Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall Europe. Chapters 4 and 6.

Week 11 (January 13)

• slides: w11-1x2.pdf w11-2x2.pdf
• exercises: e11.pdf
• literatures:
  • Using, Understanding, and Unraveling The OCaml Language
  • Anthony Field and Peter Harrison, Functional Programming, Addison Wesley. Chapter 17.

Week 12 (January 20)

• slides: w12-1x2.pdf w12-2x2.pdf
• exercises: e12.pdf
• literatures:
  • Using, Understanding, and Unraveling The OCaml Language
  • Benjamin Pierce, Types and Programming Languages, The MIT Press. Chapters 11,13,15,22.

Week 13 (January 27): exam part 2

• online registration is required before January 25
• exam.pdf