13:20-15:50 at W831

News

• Important: Coding Assignment 2

  answer2.ml is updated! (Nov 12)

• Important: Evaluation is performed by Coding assignment 1 and 2 (assignment 1: 20 points, assignment 2: 30 points + 10 bonus points), Mini test on unification (20 points), and Final report (two projects, 40 points each). Your mark will be min(total points, 100).

• Important: Tentative announcemnt of the final report

• One more reason to learn about functional programming and compiler construction — Jane Street is hiring (Dec 20, 2017)

Overview

• Course outline / Syllabus

Day 1 (Sep. 27): Overview

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

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

• Coding Assignment — A few pages added on Oct. 1.

  Assignment updated at 22:40, October 1, 2018.

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

• Suggested readings

Day 4 (Oct. 11)

• OCaml tools and standard libraries / Examples

• Min-caml organization / Examples

Day 5 (Oct. 15): Lexer / Parser / Abstract Syntax Tree

• Reading assignment on Unification
• There will be a quiz on unification at the beggining of the next class

Day 6 (Oct. 18): Typing, A sample quiz

Day 7 (Oct. 22): K-Normalization and \(\alpha\) conversion

Day 8 (Oct. 25): Optimization 1

Day 9 (Oct. 29): Optimization 2

Day 10 (Nov. 1): Closure Conversion

Day 11 (Nov. 5): Implementation of Closure Conversion

Day 12 (Nov. 8): Virutal Code Generation

Day 13 (Nov. 12): Register Allocation

Day 14 (Nov. 15): Code Emission

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