Overview

• Course outline / Syllabus

Day 1 (Sep. 25): Overview

• Assignments (Reading assignment / Install OCaml on your laptop)

Day 2 (Sep. 28): Introduction to functional programming in OCaml (1)

• Coding Assignment — A few pages added on Sep. 30. They reflect some of the questions raised during the class.

Day 3 (Oct. 2): Introduction to functional programming in OCaml (2)

Day 4 (Oct. 5): OCaml tools and standard libraries / Examples

Day 5 (Oct. 12): Min-caml organization

Day 6 (Oct. 16): Lexer / Parser / Abstract Syntax Tree – Reading assignment on Unification (see the slide)

Day 7 (Oct. 19): Typing, A sample quiz

Day 8 (Oct. 23): K-Normalization and \(\alpha\) conversion, Quiz

Day 9 (Oct. 25): Optimization 1, Checkout the ocamlinit.ml file.

Day 10 (Nov. 1): Optimization 2

Day 11 (Nov. 6): Closure Conversion – Assignment

Day 12 (Nov. 9): Implementation of Closure Conversion

Day 13 (Nov. 13): Virutal Code Generation, Register Allocation

Day 14 (Nov. 20): Register Allocation + small assignment to be announced on OCW-i

Reference

• Course Repository on GitHub

• MinCaml

  • Overview

  • Code

  • Japanese Web page

  • Japanese academic paper

  • English Web page

  • English academic paper

  • to_x86 batch command

Back to Top