COSE212: Programming Languages, 2024 Fall

Course Information

Course Materials

Attendances and Homework

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

Discussion and Questions

Please use the CampusWire for discussion and questions about the course.

Exams

  • Midterm: October 23 (Wed.) 18:30 – 21:00 (150 min.)
  • Final: December 18 (Wed.) 18:30 – 21:00 (150 min.)
  • Previous Exams

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:

Schedule

# Date Title PDFUpdateHomework
Part 0: Basic Concepts
0 09/02 Course Overview

09/04
(04:07)

1 09/04 Basic Introduction of Scala

09/03
(17:54)

hw01
(by 09/25)
Part 1: Untyped Languages
2 09/09 Syntax and Semantics (1)

09/06
(19:01)

3 09/11 Syntax and Semantics (2) ex01
4 09/16 Identifiers (1)
5 09/18 Identifiers (2) ex02
6 09/23 First-Order Functions ex03
7 09/25 First-Class Functions ex04
8 09/30 Lambda Calculus hw02
(by 10/14)
9 10/02 Recursive Functions ex05
10 10/07 Mutable Data Structures - Boxes
11 10/09 Mutable Variables ex06
12 10/14 Garbage Collection
13 10/16 Lazy Evaluation ex07
10/23 Midterm Exam Lectures 1 - 13
14 10/28 Continuations (1)
15 10/30 Continuations (2) ex08
16 11/04 First-Class Continuations ex09
17 11/06 Compiling with Continuations hw03
(by 11/20)
Part 2: Typed Languages
18 11/11 Type Systems
19 11/13 Typed Languages ex10
20 11/18 Typing Recursive Functions ex11
21 11/20 Algebraic Data Types (1)
22 11/25 Algebraic Data Types (2) ex12
23 11/27 Parametric Polymorphism hw04
(by 12/11)
ex13
24 12/02 Subtype Polymorphism ex14
25 12/04 Type Inference (1)
26 12/09 Type Inference (2) ex15
27 12/11 Course Review
12/18 Final Exam Lectures 14 - 26

Online Interpreters