Fakultät Wirtschaftsinformatik und Angewandte Informatik

Angewandte Informatik / Kognitive Systeme

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

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]