CS 6510 Practical Functional Programming

CS 6510  Practical Functional Programming

Spring 2008

Instructor: Matthew Flatt

MWF 9:40-10:30   WEB 122 (EMCB)

Office Hours: by appointment, MEB 3122

see https://www.cs.utah.edu/~mflatt/past-courses/cs6510/public_html/

 

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.

Mailing List

cs6510@cs.utah.edu

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

Day-by-Day

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

 

============= End