COSE212: Programming Languages, 2025 Fall

COSE212: Programming Languages, 2025 Fall

Course Information

• Instructor: Jihyeok Park (박지혁)
  • Office: 507, Jung Woonoh IT & General Education Center (정운오IT교양관)
  • Email: jihyeok_park@korea.ac.kr
• Lecture: 13:30–14:45 Mondays and Wednesdays @ B102, Jung Woonoh IT & General Education Center (정운오IT교양관)
• Teaching Assistant: TBD
• Office hours: 14:00–16:00 Tuesdays (by appointment)

Course Materials

• Self-contained lecture notes are provided.
• Reference:
  • Introduction to Programming Languages by Jaemin Hong and Sukyoung Ryu
  • Types and Programming Languages, Benjamin C. Pierce, The MIT Press

Attendances and Homework

Please use the LMS for the attendance check and the submission of homework.

Exams

• Midterm: October 22 (Wed.) 18:30 – 21:00 (150 min.)
• Final: December 17 (Wed.) 18:30 – 21:00 (150 min.)
• Previous Exams
  • Midterm: 2023 / 2024
  • Final: 2023 / 2024

Installation of Scala and sbt

Scala is a general-purpose programming language combining object-oriented and functional programming in one concise, high-level language. Scala’s static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries.

The interactive build tool sbt is built for Scala and Java projects.

Please download and install them using the following links:

• JDK >= 17 - https://www.oracle.com/java/technologies/downloads/
• sbt - https://www.scala-sbt.org/download.html
• Scala - https://www.scala-lang.org/download/

Online Interpreters

In this course, you will implement interpreters for the following languages:

Schedule