Programming Languages, 2018 Spring

Course Information

• Instructor: Hakjoo Oh
• Lecture: 6:45-8:15 on Tuesdays

References

• Essentials of Programming Languages

Slides

• Course Overview: lec0.pdf
• (Part 1) Preliminaries
• Inductive Definitions: lec1.pdf, lec2.pdf
• Functional Programming: lec3.pdf, lec4.pdf
• (Part 2) Basic Concepts
• Expressions: lec5.pdf, implementation: let.zip
• Procedures: lec6.pdf
• States: lec7.pdf
• (Part 3) Advanced Concepts
• Static Type System: lec8.pdf, lec9.pdf, lec10.pdf
• Automatic Type Inference: lec11.pdf, lec12.pdf, lec13.pdf
• Polymorphic Type System: lec14.pdf
• Lambda Calculus: lec15.pdf

Homework

• Problem Set

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
  • Installing the Programming Environment (for Windows users)
  • VirtualBox Image (Ubuntu system with OCaml installed)
  • Download VirtualBox