Programming Languages, 2015 Fall
Course Information
- Instructor: Hakjoo Oh
- Lecture: 10:30-11:45 on Tuesdays and Thursdays
- Reference:
Slides
- Course Overview: lec0.pdf
- Inductive Definitions: lec1.pdf, lec2.pdf
- Basics of OCaml: lec3.pdf
- Recursive and Higher-Order Programming: lec4.pdf
- Expressions lec5.pdf let.ml
- Procedures lec6.pdf
- Scoping and Binding lec7.pdf
- States lec8.pdf
- Type System lec9.pdf lec10.pdf lec11.pdf lec12.pdf
- Lambda Calculus lec13.pdf lec14.pdf
Homework
- Homework 1 (due 9/25 24:00) hw1.pdf, hw1.ml
- Homework 2 (due 10/9 24:00) hw2.pdf, hw2.ml
- Homework 3 (due 10/23 24:00) hw3.pdf, hw3.ml
- Homework 4 (due 11/14 24:00) hw4.pdf, Project Page (Github)
- Homework 5 (due 12/05 24:00) hw5.pdf, hw5.ml
OCaml Reference
- How to install
- Installing the Programming Environment (for Windows users)
- VirtualBox Image (Ubuntu system with OCaml installed)
- Download VirtualBox
- Why ML?
Software Analysis Lab. @ Korea University