Programming in OCAML
VU 2 SS 2006 LVA 703803
Schedule and Exercises
Week 1 (March 2)
-
transparencies
2-up 4-up - exercises
pdf - solutions
ml - emacs configuration
tuareg.txt (insert it to your .emacs on ZID) - literature
OCaml Reference Manual
Week 2 (March 9)
Week 3 (March 16)
-
transparencies
2-up 4-up - exercises [10 points]
pdf - sum
sum.tar.gz - literatures
- Wikipedia - Conway's Game of Life
- OCaml Reference Manual: Pervasives, Graphics
Week 4 (March 23)
-
transparencies
2-up 4-up - exercises
pdf - solutions
pdf - literatures
- Anthony Field and Peter Harrison, Functional Programming, Addison Wesley. Chapter 17.
- Richard Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall Europe. Chapter 7.
Week 5 (March 30)
-
transparencies
2-up 4-up - exercises
pdf - solutions
ml - syntax extension for list comprehension
ml - literature
- Richard Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall Europe. Chapter 4.
- Fethi Rabhi and Guy Lapalme, A Functional Programming Approach, Addison Wesley. Chapter 7.
Week 6 (April 6)
-
transparencies
2-up 4-up - exercises
pdf - solutions
ml pdf - literature
- Richard Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall Europe. Chapter 8.
- OCaml Reference Manual: Int64
Week 7 (April 27)
-
transparencies
2-up 4-up - exercises
pdf - literature
Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge Press.
Week 8 (May 4)
-
transparencies
2-up 4-up - exercises
pdf - literatures
- Andrew Appel, Modern Compiler Implementation in ML. Chapter 3.
- OCaml Reference Manual: Stream
Week 9 (May 11)
-
transparencies
2-up 4-up - exercises
pdf - solutions
ml - literature
Using, Understanding, and Unraveling The OCaml Language
Week 10 (May 18)
-
transparencies
2-up 4-up - exercises
pdf - literature
Using, Understanding, and Unraveling The OCaml Language
Week 11 (June 1)
-
transparencies
2-up 4-up - exercises updated, June 1, 12:00
pdf - solutions
ml - literature
Using, Understanding, and Unraveling The OCaml Language
Week 12 (June 8)
-
transparencies
2-up 4-up - exercises
pdf - literatures
- Benjamin Pierce, Types and Programming Languages, The MIT Press. Chapters 11,13,15,22.
- Benjamin Pierce, Advanced Topics in Types and Programming Languages, The MIT Press. Chapter 10.
- Jacques Garrigue, Code reuse through polymorphic variants, in Workshop on Foundations of Software Engineering, 2000.
Week 13 (June 22)
Week 14 (June 29)
Information about Interpreter Implementation
- hint (solutions): Using, Understanding, and Unraveling The OCaml Language. Chapter 1.
- how to debug: send your code if you have any problem.
- point allocation
- [10 points] evaluator
- [10 points] read-eval-print loop including parser
- [10 points] simple type system
- [5 points] let-polymorphism
- [5 points] let rec under let-polymorphism
- deadline: July 6, 23:59