Reading Club Algebraic Foundations of Functional Programming (WS 08/09)

General Information

• For a general course description please read the corresponding pages from the WIAI module guide.
• you find administrative information  at UnivIS.
• Participants should sign up for the course in the virtual campus.
• This course addresses master students and doctoral students.
• Together with Prof. Michael Mendler (Theoretical Computer Science)

Course Outline

1. Algebraic Specification
   1. Universal Algebra [1 (chapter I), 6]
   2. Equational Specifications [1 (chapter II]
   3. Structured Specifications [1 (chapter V), 5]
2. Category Theory
   1. Basics I [3]
   2. Basics II [3]
   3. Basics III [3]
3. Computing Category Theory
   1. Cartesian Closed Categories and Lambda-Calculus [3]
   2. Implementing Category Theory (in Haskell) [4]

Literature

1. Donald Sannella and Andrzej Tarlecki; Lecture Notes on Categories; Specifications and Institutions (unpublished)
2. Donald Sannella and Andrzej Tarlecki; Toward formal development of programs from algebraic specifications: implementations revisited; technical report (pdf)
3. Benjamin Pierce; Basic Category Theory for Computer Scientists; Foundations of Computing Series, The MIT Press, 1993 (Google books)
4. R.M. Burstall and D.E. Rydeheard; Computational Category Theory; pdf online
5. R.M. Burstall and J.A. Goguen; Putting Theories Together to Make Specifications
6. Ehrig, Mahr, et al.; Mathematisch-strukturelle Grundlagen der Informatik; Springer (Google books)

Also Interesting

• Computational Category Theory

Dates and Talks

on Tuesdays 10:00 s.t. - 11:30, F303

• 21.10.2008 Initial Meeting
• 28.10.2008 dropped
• 04.11.2008 Universal Algebra, Hofmann
• 11.11.2008 Equational Specifications, Hofmann
• 18.11.2008 Structured Specifications, Hieber
• 25.11.2008 slack time
• 02.12.2008 dropped
• 09.12.2008 Introducing Categories and Morphisms,  Aguado, Macias
• 16.12.2008 Generalising Limits and Colimits,  Aguado, Macias
• 23.12.2008 christmas holiday
• 30.12.2008 christmas holiday
• 06.01.2009 bank holiday
• 13.01.2009 Factorisation Systems, Functors, Aguado, Macias
• 20.01.2009 Functors and Natural Transformations, Aguado
• 27.01.2009 droppped
• 03.02.2009 Adjoints and Monads, Scheele
• 10.02.2009 Cartesian Closed Categories, Hofmann

Previous Topics

• SS 2008: Similarity (together with Statistics) [Archiv Page]
• SS 2007: Automated Theorem Proving with Isabelle (together with Theoretical Computer Science) [Archiv Page]
• SS 2006: Support Vector Machines [Archiv Page]