Page History

...

Week	Day	Date	Topic	Work Assigned	Work Due
1Tues	Tu	Aug 22	Overview, Motivation
	ThursTh	Aug 24	What are Types, Core Scala	Hwk 0
2Tues	Tu	Aug 3029	Doubles, Programming with Intention, The Design Recipe
	ThursSep	01Aug 31	Functions on Ranges, Point Values, Compound Datatypes
3Tues	Tu	Sep 0605	Methods, Grading, DrScala
	Thur	Sep 0807	Abstract Datatypes*	Hwk 1
4Tues	Tu	Sep 1312	Subtyping of Arrow Types, Exceptions*
Thur	Th	Sep 1514	Abstract Datatypes 2, Recursively Defined Types*
5Tues	Tu	Sep 2019	Recursively Defined Types 2, Functions as Values*
Thurs	Th	Sep 2221	Higher-Order Functions*	Hwk 2	Hwk 1
6Tues	Tu	Sep 2726	Functions as Values, Parametric Types*
Thur	Th	Sep 2928	Currying, Fold, Flatmap, and For Expressions*
7Tues	Tu	Oct 04	For Expressions, Monads, The Environment Model*
Thurs	Th	Oct 06	"Growing a Language," Guy L. Steele, Jr.*	Hwk 3	Hwk 2
8Tues	Tu	Oct 11	MIDTERM RECESS
Thur	Th	Oct 13	Scala Collections Classes, Traits*
9Tues	Tu	Oct 18	Call-by-Name, Type Environments, Generative Recursion*
Thur	Th	Oct 20	Strategies for Generative Recursion*	Hwk 4	Hwk 3
10Tues	Tu	Oct 25	Accumulators*
Thur	Th	Oct 27	Functional Data Structures*
11Tues	Tu	Nov 01	Streams, State, Mutation*
Thur	Th	Nov 03	Mechanical Proof Checkin, The Curry-Howard Isomorphism*	Hwk 5	Hwk 4
12Tues	Tu	Nov 08	The State Monad*
Thur	Th	Nov 10	Additional Scala Features, Extractors, Parser Combinators*
13Tues	Tu	Nov 15	More Parser Combinators, Actors and Concurrency*
Thur	Th	Nov 17	Tactical Theorem Proving*	Hwk 6	Hwk 5
14	Tues	Nov 22	Project Fortress*
Thur	Th	Nov 24	THANKSGIVING
15Tues	Tu	Nov 28	Functional Distributed Computing*
	Thur	Dec 01	Course Wrap Up		Hwk 6

...

Space shortcuts

Child pages

Versions Compared

Old Version 7

New Version 8

Key