Home
• Education Page
• Topics
• Schedule
• Projects

• Interesting Links

Center
Master Program
Course Schedule

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


| *Date*   | *Time*  | *Topic*                           |
| 6 Sep    | 13-15   | Introduction, [[StudentProjects][Projects]], Planning  |
| 11 Sep   | 11-13   | (Stefan Holdermans) Lu&iacute;s Damas and Robin Milner. [[http://groups.csail.mit.edu/pag/6.883/readings/p207-damas.pdf][Principal type-schemes for functional programs]], _Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, January 1982_, pages 207&ndash;212, ACM Press, 1982; (Atze Dijkstra) Essential Haskell (EH) project overview.|
| 13 Sep   | 13-15   | (Atze Dijkstra) A short introduction to the StudentProjects; (Stefan Holdermans) Damas and Milner (1982, cont'd)|
| 18 Sep   | 11-13   | Bastiaan Heeren, Jurriaan Hage, and S. Doaitse Swierstra. [[http://www.cs.uu.nl/research/techreps/UU-CS-2002-031.html][Generalizing Hindley-Milner type inference algorithms]]. Technical Report UU-CS-2002-031, Utrecht University, 2002.|
| 20 Sep   | 13-15   | Continuing Generalizing HM type inference algorithms, starting Pierce I-23, _Universal Types_ (System F) |
| 25 Sep   | 11-13   | Pierce I-23, _Universal Types_ (System F) |
| 27 Sep   | 13-15   | Pierce I-24, _Existential Types_|
| 2 Oct    | _no meeting_ ||
| 4 Oct    | 13-15   | projects: intermediate presentations |
| 9 Oct    | 11-13   | Pierce I-30, _Higher-order Polymorphism_ (F&omega;, &lambda;-cube) |
| 11 Oct   | 13-15   | [[http://people.cs.uu.nl/andres/LambdaPi.html][Simply Easy]] |
| 16 Oct   | 11-13   | [[http://people.cs.uu.nl/andres/LambdaPi.html][Simply Easy]] |
| 18 Oct   | 13-15   | [[http://www.e-pig.org/downloads/epigram-notes.pdf][Epigram AFP Lecture Notes]] (See also [[Using Epigram]])|
| 23 Oct   | 11-13   | [[http://www.e-pig.org/downloads/epigram-notes.pdf][Epigram AFP Lecture Notes]] (See also [[Using Epigram]])|
| 25 Oct   | 13-15   | type classes I: A Theory of Qualified Types |
| 30 Oct   | 11-13   | type classes II: Design Space, data vs. codata: Turner/Total Functional Programming or Partiality is an Effect |
| 1 Nov    | 11-13   | summary and evaluation |
| 5 Nov    | %RED% 9-13 %ENDCOLOR% | final presentations |
| 7 Nov    | %RED% 13-17 %ENDCOLOR%  | exam |

Please also look at the [[Course Topics][Possible topics]].

-- Main.AndresLoeh - 23 Oct 2007