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: lecture0.pdf