CS 6510  Practical Functional Programming Spring 2008 MWF 9:40-10:30   WEB 122 (EMCB) Instructor: Matthew Flatt Office Hours: by appointment, MEB 3122

This course is about functional programming, emphasizing functional-programming skills and techniques that apply to all programming languages. Roughly one-third of the course meetings provide a conventional lecture; in the remaining meetings, we study example programs written and presented by students who are taking the course.

cs6510@cs.utah.edu

To sign up for this list, visit http://mailman.cs.utah.edu/mailman/listinfo/cs6510

Jan 7:	Course setup
Jan 9:	How to design programs; slides
Jan 11:	How to design programs; slides; HW1
Jan 14:	How to design programs; slides
Jan 16:	Sudoku solvers
Jan 18:	Sudoku solvers
Jan 23:	Continuation-passing; success-fail-k.zip
Jan 25:	Sudoku servers (HW2)
Jan 28:	Closure compilation; clos-comp.zip; Feeley87
Jan 30:	Compiling an interpreter
Feb 1:	Scrabble; HW 3
Feb 4:	Macros
Feb 6:	Scrabble checkers
Feb 8:	Scrabble checkers
Feb 11:	Scrabble checkers; tests
Feb 13	Functional drawing: Slideshow paper examples; HW4
Feb 15:	Concurrent ML; notes/code; refs
Feb 20:	Scrabble Players
Feb 25:	Scrabble Players
Feb 27:	Scrabble Players
Feb 29:	Purely Functional Data Structures
Mar 3:	Monads
Mar 5:	Scrabble Payers
Mar 7:	Lisp Machines
Mar 10:	Semantics and Redex
Mar 12:	Tail recursion and safe-for-space
Mar 14:	Project descriptions
Mar 24:	Delimited continuations
Mar 26:	Project presentations
Mar 28:	Lambda Calculus
Mar 31:	Project presentations
Apr 2:	Functional Reactive Programming
Apr 4:	Project presentations
Apr 7:	Project presentations
Apr 9:	Project presentations
Apr 11:	Scribble

The University of Utah conforms to all standards of the Americans with Disabilities Act (ADA). If you wish to qualify for exemptions under this act, notify the Center for Disabled Students Services, 160 Union.