Course Pages
- Education Page
- Description
- Literature
- Schedule
- Assignments

Center
Master Program
Course Schedule

Afp0304
Please note that this schedule is tentative, and may be adapted as need arises.


%TOC%

----+++ Week 1

----++++ Tu, Sep. 2

   * Organisation of the course
   * [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/StIntro.pdf][What Software Technology is About]]
   * see also CourseLiterature

At the webiste [[www.haskell.org]] one can find many introductions to functional programming in Haskell. Since we expect you to have already some experience we advice you to browse through some of them to freshen your knowledge of Haskell.

-----++++ Thu, Sep. 4
   * finishing: [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/StIntro.pdf][What Software Technology is About]]
   * [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/LightningTour.ppt][A Lightning Tour]] by John Hughes


-----+++ Week 2
-----++++ Tu, Sep. 9
   * finshing [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/LightningTour.ppt][A Lightning Tour]] by John Hughes
   * starting: [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/Monads.ppt][Monads ]] by John Hughes
-----++++ Thu, Sep. 11
   * finishing: [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/Monads.ppt][Monads ]] by John Hughes

-----+++ Week 3
-----++++ Tu, Sep. 16, [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/Contracts.pdf][Financial Contracts]]
   * Background information about the "Financial Combinators" can be found on Simon Peyton Jones'  website, and more specifically [[http://research.microsoft.com/~simonpj/Papers/financial-contracts/contracts-icfp.htm][here]].
   * [[http://www.cs.uu.nl/docs/vakken/afp/Literature/LL1.pdf][Fast, Error-Correcting Parser Combinators]], as an example of a self-analysis of a program, and how to tuple different aspects of such an analysis

-----++++ Thu, Sep. 18, Parser Combinators
   * continuing with  [[http://www.cs.uu.nl/docs/vakken/afp/Literature/LL1.pdf][Fast, Error-Correcting Parser Combinators]]
   *  [[http://www.cs.uu.nl/docs/vakken/afp/Literature/p224-swierstra.pdf][Parsing Polish, Step by Step]]

-----+++ Week 4
-----++++ Tu, Sep. 23, Foreign Function Interface and wxHaskell 
   * [[[http://www.cs.uu.nl/people/daan/][Daan Leijen]]
   * [[http://wxhaskell.sourceforge.net/download/wxhaskell.ppt][slides in ppt]]

-----++++ Thu, Sep. 25, no lectures, prepare your talk!

-----+++ Week 5
-----++++ Tu, Sep. 30,  [[http://www.cse.ogi.edu/~mpj/pubs/springschool95.pdf][Multiparameter Type Classes]]
   * [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/fds.ppt][Functional Dependencies]]


-----++++ Thu, Oct 2, no lectures, prepare your talk!

-----+++ Week 6
-----++++ Tu, Oct 7, Aspect Oriented Programming  
   * [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/AttributeGrammars.ppt][First-class attribute grammars (ppt)]]
   * [[http://www.cs.uu.nl/docs/vakken/afp/Literature/WAGA2000.pdf][First-class attribute grammars (paper in pdf)]] 
   * [[http://www.cs.uu.nl/docs/vakken/afp/Presentations/FCAG.pdf][First-class attribute grammars with TReX (slides in pdf)]]
 
----
All talks prepared
----
-----++++ Thu, Oct 9, [[WebAuthoringSystemHaskell][WASH]]
   * Peter Nagel
   * Guno Heitman

-----+++ Week 7
-----++++ Tu, Oct 14, DatabaseAccess, contact person: [[[http://www.cs.uu.nl/people/daan/][Daan Leijen]]
   * Mart Kolthof 
   * Niels van der Velden

-----++++ Thu, Oct 16, PrettyPrinting
   * Joost Verhoog

-----+++ Week 8
-----++++ Tu, Oct 21, [[FunctionalReactiveProgramming][Functional reactive programming]]
   * Christof Douma

-----++++ Thu, Oct 23, [[TracingAndHeapProfiling][Tracing and Heap Profiling]]
   * Robert van Herk
   * Ingmar Brouns

-----+++ Week 9
-----++++ Tu, Oct 28, GrammarAnalysis
   * Niels Reyngoud


-----++++ Thu, Oct 30,  

-----+++ Week 10
-----++++ Tu, Nov 4, invited lecture/colloquium Erik Meijer
   * 10.30-11.30 see colloquium room 505
   * 12.45 promotion of DaanLeijen academy building

-----++++ Thu, Nov 6, [[HaskellArrows][Arrows]]
   * Arjan Oosting
   * Stefan Holdermans  

#TentamenDatum
-----+++ Week 11
-----++++ Thu, Nov 13 Written exam
   * Written exam 13-16