λ CS 251 : Principles of Programming Languages .

Staff / Hours

Instructor: Ben Wood, SCI E128 or microfous, office hours / contact on website
Tutors: Alice and Cecille

• Tuesday 7pm - 9pm (SCI microfocus)
• Wednesday 7pm - 9pm (SCI S173)
• Thursday 7pm - 9pm (SCI microfocus or S173)

Schedule (jump to now)

• Class meetings: SCI E111 Tuesday, Wednesday, Friday 9:50am - 11:00am

The future and recent past, as recorded here, are subject to revision at any time.

Mon	Tue	Wed	Thu	Fri
31 August	01 September course themes and motivation (slides) computability and the halting problem (slides; notes) Assign: Halt that Racket	02 September computability and the halting problem (slides; notes) Racket expressions, bindings (slides; notes)	03 September	04 September Racket expressions, bindings (slides; notes)
07 September	08 September functions (slides; notes; recursion-starter.rkt) lists, memory model (slides; notes; lists-starter.rkt) Racket practice: recursion/lists (recursion-starter.rkt; recursion.rkt; lists-starter.rkt; lists.rkt)	09 September Racket practice: recursion/lists (recursion-starter.rkt; recursion.rkt; lists-starter.rkt; lists.rkt) scope (slides; notes; let.rkt) Assign: Lists, Lists, Lists Due: Halt that Racket	10 September	11 September scope (slides; notes; let.rkt)
14 September	15 September first-class and higher-order functions (slides; notes; hof.rkt)	16 September lexical scope and closures (slides; notes; closures.rkt)	17 September Due: Lists, Lists, Lists	18 September lexical scope and closures (slides; notes; closures.rkt) tail recursion (slides; tail.rkt) Assign: Higher-Order Fun
21 September	22 September tail recursion (slides; tail.rkt)	23 September Benefits of no mutation (slides) LISP garbage collection (slides)	24 September Due: Higher-Order Fun	25 September interpreters and compilers (slides) programs as data Assign: Metaprogramming
28 September	29 September hygienic macros (slides; macros.rkt) ML basics (slides)	30 September ML basics (slides) ML dataypes (slides; ML so far: Harper Ch. 2-10)	01 October Due: Metaprogramming	02 October ML lists (slides; list.sml) ML lists (slides; list.sml) Assign: Types of Expressionist Art
05 October	06 October ML exceptions, options (slides; exnopt.sml) syntax and grammars (slides)	07 October more dataypes and patterns (slides; expr.sml)	08 October Checkpoint: Types of Expressionist Art	09 October more dataypes and patterns (slides; expr.sml) currying and partial application (slides; curry.sml)
12 October Fall Break	13 October Fall Break	14 October currying and partial application (slides; curry.sml) type inference (Anecdote; slides; inf.sml; ML so far: Harper, Ch. 2-13; Grossman, ML notes 1-4) Due: Types of Expressionist Art	15 October	16 October type inference (Anecdote; slides; inf.sml; ML so far: Harper, Ch. 2-13; Grossman, ML notes 1-4) start exam
19 October	20 October end exam modules, ADTs (slides; adts.sml; set.sml)	21 October modules, ADTs (slides; adts.sml; set.sml) static vs. dynamic typing (slides)	22 October	23 October static vs. dynamic typing (slides) SMiLe interpreter
26 October	27 October Tanner Conference	28 October SMiLe interpreter Assign: Interpretive Dance	29 October	30 October implementing control flow and scope (slides; Recursion in ALGOL) parameter passing, lambda calculus, evaluation order (slides; lc.rkt; lc.sml)
02 November	03 November parameter passing, lambda calculus, evaluation order (slides; lc.rkt; lc.sml) Assign: Object-Oriented Language Design Assign: Project	04 November delayed evaluation, streams, laziness (slides; notes; delay.sml; stream.sml; memo.sml; lazy.sml; Harper, Ch.15) Assign: Funky Functions	05 November Screening: Object-Oriented Language Design Checkpoint: Interpretive Dance	06 November Due: Object-Oriented Language Design OOP and Smalltalk (slides)
09 November Due: Interpretive Dance	10 November OOP and Smalltalk (slides)	11 November Scala design talk (croaking voice day) (selections from Scala design talk with slides)	12 November Due: Funky Functions	13 November Teams/topics: Project Dynamic dispatch/late binding (slides)
16 November	17 November in-class exam	18 November subtyping (slides)	19 November	20 November subtyping (slides) FP vs. OO decomposition (slides; Rosen) Assign: Random Sentences and Sieves
23 November	24 November FP vs. OO decomposition (slides; Rosen) multiple inheritance, interfaces, mixins, traits (slides)	25 November Thanksgiving Break	26 November Thanksgiving Break	27 November Thanksgiving Break
30 November	01 December multiple inheritance, interfaces, mixins, traits (slides) subtypes with generic types, type erasure vs. templates (slides) Checkpoint: Random Sentences and Sieves Background/plan: Project	02 December concurrency vs. parallelism (slides) threads, actors (slides; (old) Scala Actors Tutorial; Shared-Memory Parallelism and Concurrency in Java sections 2, 3, 6-10)	03 December	04 December threads, actors (slides; (old) Scala Actors Tutorial; Shared-Memory Parallelism and Concurrency in Java sections 2, 3, 6-10) events, futures, tasks, aync/await, data parallelism (example: Scala Parallel Collections)
07 December	08 December Presentations: Project approaching problems as a language designer Due: Random Sentences and Sieves	09 December Reading Period	10 December Reading Period	11 December Reading Period
14 December Exam Period	15 December Exam Period	16 December Exam Period	17 December Exam Period	18 December Exam Period Due: Project

Long-term schedule on the syllabus