Programming Languages, 2016 Fall
Course Information
- Instructor: Hakjoo Oh
- Lecture: 10:30-11:45 on Mondays and Wednesdays
- Reference:
Slides
- Course Overview: lec0.pdf
- (Part 1) Preliminaries
- (Part 2) Basic Concepts
- (Part 3) Advanced Concepts
- (Part 4) Misc
- Review: lec16.pdf
Homework
- Homework 1 (Basic Problems 1) hw1.pdf (due 9/30 24:00)
- Homework 2 (Basic Problems 2) hw2.pdf (due 10/14 24:00)
- Homework 3 (Basic Problems 3) hw3.pdf (due 11/4 24:00)
- Homework 4 (Interpreter) hw4.pdf, Project Page (GitHub) (due 11/18 24:00)
- Homework 5 (Static Type Checker) hw5.pdf, Project Page (GitHub) (due 12/2 24:00)
Previous Exams
OCaml Reference
- How to install
- Installing the Programming Environment (for Windows users)
- VirtualBox Image (Ubuntu system with OCaml installed)
- Download VirtualBox
Software Analysis Lab. @ Korea University