CPSC 429/529: Functional Programming

Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: MWF 9:30-10:30
Room: AKW400

	Home
	Schedule
	Handouts
	Assignments
	Projects
	Links

Schedule

Lecture 1 : Overview.

Lecture 2 : Axioms and Inference rules.

Lecture 3 : Types and Functions.

Lecture 4 : Lists.

Lecture 5 : Datatypes.

Lecture 6 : Induction.

Lecture 7 : Parametric Polymorphism.

Lecture 8 : Ad Hoc Polymorphism.

Lecture 9 : Lazy Datastructures.

Lecture 10 : Lazy Streams.

Lecture 11 : Inside Haskell.

Lecture 12 : Type Preservation.

Lecture 13 : Recitation.

Lecture 14 : Continuations.

Lecture 15 : Regular Expressions.

Lecture 16 : Specification and Implementation.

Lecture 17 : Graphics in Haskell.

Lecture 18 : An introduction to Monads.

Lecture 19 : Monad laws.

Lecture 20 : Recitation.

Lecture 21 : Monadic Arrays.

Lecture 22 : Type Classes.

Lecture 23 : Midterm.

Lecture 24 : Recitation.

Lecture 25 : Type Classes.

Lecture 26 : Recitation.

Lecture 27 : Functional Reactive Programming.

Lecture 28 : Monadic Parser Combinators.

Lecture 29 : Monadic Parser Combinators.

Lecture 30 : FAL.

Lecture 31 : Attribute Grammars and Circular Programming.

Lecture 32 : Debugging.

Lecture 33 : Standard ML.

Lecture 34 : Lazyness in ML and HOAS.

Lecture 35 : ML with references.

Lecture 36 : ML with references.

Lecture 37 : Recitation.

Lecture 38 : Modules.

Lecture 39 : Pan.