CSCI-UA.490: Special Topics in Programming Languages - 2022 syllabus

gistfile1.txt

Mon, Jan 24 - Introduction / JavaScript
Wed, Jan 26 - Haskell Basics

Mon, Jan 31 - Haskell Basics 2 (HW1 basic)
Wed, Jan 2 - Algebraic Data Types / QuickCheck

Mon, Jan 7 - Lambda Calculus (HW2 calculator)
Wed, Feb 9 - Flex Slot for Haskell

Mon, Feb 14 - Type Classes (HW3 lambda)
Wed, Feb 16 - Monads

Mon, Feb 21 - PRESIDENT'S DAY
Wed, Feb 23 - Type Inference 1 (DELAYED! HW4 typeclasses and monads)

Mon, Feb 28 - Type Inference 2 / Flex Slot for more Haskell
Wed, Mar 2 - Curry-Howard Correspondence (DELAYED! HW5 typechecker)

Mon, Mar 7 - Midterm review
Wed, Mar 9 - Midterm

Mon, Mar 14 - SPRING BREAK
Wed, Mar 16 - SPRING BREAK

Mon, Mar 21 - Laziness (Nothing due)
Wed, Mar 23 - Scope

Mon, Mar 28 - Metacircular evaluator (HW6 lazy)
Wed, Mar 30 - Control

Mon, Apr 4 - Object oriented programming (midterm grade deadline) (HW7 metacircular)
Wed, Apr 6 - Metacc and virtual tables

Mon, Apr 11 - Virtual tables and subtyping (HW8 metacc)
Wed, Apr 13 - Subtyping and Generics

Mon, Apr 18 - Generics and OO implementation (HW9 vtables)
Wed, Apr 20 - Concurrency

Mon, Apr 25 - STM (HW10 Variance)
Wed, Apr 27 - Ownership

Mon, May 2 - Exam review 1 (HW11 Concurrency)
Wed, May 4 - Exam review 2

Mon, May 9 - Something fun!