CS 251: Calendar

Remote instruction begins Monday 30 March.

Acknowledging the local and global challenges surrounding our new learning circumstances, our tentative goal is to cover 2/3 of the remaining ideas and 1/2 of the remaining course work from a typical CS 251 semester, running at a somewhat slower pace. We will play this by ear, adjusting to circumstances as they arise. Here’s a summary of the current plan:

Lectures: watch topic videos, read, try examples, and ask/answer questions on the Q&A forum ahead of time, then follow up in real time during optional online class drop-in meetings.
Meeting Links: review the norms for audio/video meetings to keep meetings manageable.
Tools: install the csenv appliance.
Support: try these resources in order.
1. Check documentation on topics, assignments, tools, or logistics.
2. Visit the Q&A forum to ask and answer questions. (Policies)
3. Visit drop-ins or make an appointment for online in-depth support.
Grading: credit with distinction/credit/no credit.

Read the full plan on the revised syllabus.

Tuesday	Friday
Tuesday 28 January topic The Plan topic Racket Expressions and Bindings code Assign: Some Antics with Semantics	Friday 31 January topic Racket Expressions and Bindings topic Functions
Tuesday 4 February code Due: Some Antics with Semantics topic Pairs, Lists, and GC code Assign: Lists of Pros and Cons	Friday 7 February topic Local Bindings and Scope topic First-class and Higher-order Functions
Tuesday 11 February code Due: Lists of Pros and Cons topic First-class and Higher-order Functions topic Tail Recursion code Assign: Higher-Order Fun	Friday 14 February topic Tail Recursion
Tuesday 18 February Monday Schedule (no class) code Due: Higher-Order Fun code Assign: Join the Fold	Friday 21 February topic Lexical Scope and Closures
Tuesday 25 February code Due: Join the Fold topic Immutability and Referential Transparency topic ML and Static Types code Assign: You will be SMLated	Friday 28 February topic Datatypes, Patterns, and Parametric Polymorphism
Tuesday 3 March topic Datatypes, Patterns, and Parametric Polymorphism code Assign: Expressionist Art	Friday 6 March code Due: You will be SMLated topic Patterns Everywhere topic Currying and Partial Application
Tuesday 10 March topic Restricted Mutable State topic Type Inference	Friday 13 March Last In-Person Class (optional) code Due: Expressionist Art Just a bit more type inference Q&A Discuss remote work, etc.
Tuesday 17 March COVID-19 Break	Friday 20 March COVID-19 Break
Tuesday 24 March Spring Break	Friday 27 March Spring Break
Tuesday 31 March Remote Instruction Begins topic Abstract Types	Friday 3 April topic Abstract Types code Assign: Productive Procrastination
Tuesday 7 April topic Delayed Evaluation, Streams, Laziness	Friday 10 April topic Delayed Evaluation, Streams, Laziness
Tuesday 14 April topic Parallelism	Friday 17 April code Due: Productive Procrastination topic Concurrency code Assign: Escape to a Parallel Universe
Tuesday 21 April topic Concurrency	Friday 24 April topic Static vs. Dynamic Typing
Tuesday 28 April (Ruhlman canceled, Tuesday schedule) topic Dynamic Dispatch topic FP vs. OO Decomposition	Friday 1 May code Due: Escape to a Parallel Universe topic Deductive Programming code Assign: Prolog Epilogue
Tuesday 5 May drop-in hours (no new topic)	Friday 8 May Reading Period (last day for academic support) code Checkpoint: Prolog Epilogue
Tuesday 12 May Final Exams	Friday 15 May Final Exams code Due: Prolog Epilogue