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