Programming Languages, 2017 Fall
Course Information
- Instructor: Hakjoo Oh
- Lecture: 9:00-10:15 on Tuesdays and Thursdays
References
Slides
- Course Overview: lec0.pdf
- (Part 1) Preliminaries
- (Part 2) Basic Concepts
- (Part 3) Advanced Concepts
- Review: lec16.pdf, lec17.pdf
Homework
- Homework 1 (Recursion and Higher-Order Functions) hw1.pdf (due 10/15 24:00) [skeleton]
- Homework 2 (Inductive Definitions) hw2.pdf (due 10/31 24:00) [skeleton]
- Homework 3 (Interpreters) hw3.pdf (due 11/14 24:00) [skeleton]
- Homework 4 (Static Type System) hw4.pdf (due 11/26 24:00) [skeleton]
- Homework 5 (Polymorphism and Lambda Calculus) hw5.pdf (due 12/09 24:00) [skeleton]
Previous Exams
Reading
- How functional programming mattered National Science Review.
- Facebook Hints at the Future of Coding
- Programming Languages and Code Quality
- Commercial Users of Functional Programming (CUFP 2017)
- If programming languages were cars
- How to install OCaml
Software Analysis Lab. @ Korea University