CSE307 : Programming Languages, 2026 Spring

Course Information

• Instructor: Minseok Jeon (전민석)
  • Office: 211, E7 Bldg
  • Email: minseok_jeon@dgist.ac.kr
• Teaching Assistant: Sanggyu Oh (오상규)
  • Email: sg549@dgist.ac.kr

Environment Setup

• OCaml Development Environment Setup (Docker + VS Code)

Course Materials

• Self-contained lecture notes are provided

• References

  • 프로그래밍 언어의 원리

Assignment Repository

• GitHub Repository (CSE307-2026spring)

Slides

• Course Overview: lec0.pdf
• (Part 1) Preliminaries
  • Inductive Definition: lec1.pdf lec2.pdf
  • Functional Programming: lec3.pdf lec4.pdf
• (Part 2) Basic Concepts
  • Expressions: lec5.pdf
  • Procedures: lec6.pdf
  • Lexical Scoping: lec7.pdf
  • States: lec8.pdf

Open Project

• Open Project Guideline: open_project_guideline.pdf