ENE4014

News

• HW 2 (due date: 5/6 (Wed))
• The midterm exam will be on April 29th (Wed). The time and place are the same as when/where the lectures take place. It will be a closed-book written test.
• HW 1 (due date: 4/22 (Wed))
• How to setup OCaml on Windows: kr en

Basic Information

• Instructor: Woosuk Lee
  • Office Location: Rm#403, Eng. Bldg 3
  • Telephone: 031-400-1031
  • Email: woosuk at hanyang.ac.kr
  • Office Hours: Wednesday 13:00 - 15:00
• Time & Location
  • Tuesday 10:30 - 11:45 @ Y317-0501
  • Wednesday 10:30 - 11:45 @ Y317-0501
• TA
  • Gangdae Ju (jugangdae at gmail.com)

References

• Essentials of programming languages (third edition). Daniel P. Friedman and Mitchell Wand.
• Notes on programming languages (in Korean)
• Materials borrowed and adapted from a related course: COSE212: Programming Languages at Korea University
• Self-contained slides and source codes will be provided.

Slides

• Course Overview: lec0.pdf
• Part 1 (Preliminaries)
  • Inductive Definitions: lec1.pdf lec2.pdf
  • Functional Programming: lec3.pdf lec4.pdf
• Part 2 (Basic)
  • Expressions: lec5.pdf code
  • Procedures: lec6.pdf
  • Lexical Scoping: lec7.pdf
  • States: lec8.pdf
  • Records, Pointers, and GC: lec9.pdf proof
• Part 3 (Advanced)
  • Static Type System: lec10.pdf
  • Automatic Type Inference (1): lec11.pdf lec12.pdf code
  • Automatic Type Inference (2): lec13.pdf lec14.pdf lec15.pdf
  • Polymorphic Type System: lec16.pdf
  • Lambda Calculus: lec17.pdf article
  • Review: lec18.pdf

Grading

• Homework: 20%
  • All homework assignments must be your own work. Copying assignments will get you 0 point for the entire HW score. A software tool for code clone detection will be used.
  • Late submissions will get penalty points (-20%)
• Mid exam: 35%
• Final exam: 35%
• Attendance: 10%

Homework

• Please register for the submission system before submissions.
• Submission system
• Assignments
  • HW1: pdf
  • HW2: pdf