Leseliste

Whoa

• Dem sigfpe sein Blog
• Andrej Bauer. Five stages of accepting constructive mathematics

Blogs (außer das von sigfpe)

• The Comonad.Reader (Blog von Edward Kmett, auch mit Beiträgen von Dan Doel)
• Das Blog von Mike Stay
• Das Blog von Andrej Bauer

Klassische Artikel

• John Hughes. Why functional programming matters

Skripten

• Pizzaseminar zu Kategorientheorie, siehe auch Was sind und was sollen Kategorien? (Nano-Einführung)
• Pizzaseminar zu konstruktiver Logik

Videos

• Die Aufzeichnungen der Oregon Programming Language Summer School: 2010, 2011, 2012, 2013, 2014, (2015), insbesondere
  • Type Theory Foundations, Robert Harper, 2014
  • Designing Dependently-Typed Programming Languages, Stephanie Weirich, 2014
• Loop School: Monaden, natürliche Transformationen, F-Algebren in Haskell, verschiedene andere Themen aus Informatik und Mathematik)
• TheCatsters: Kategorientheorie

Interaktiv

• Software Foundations: vermittelt Grundlagen von (funktionalen) Programmiersprachen, Methoden, um Beweise über deren Eigenschaften zu führen und Coq gleichzeitig

Unsortiert

• Functional Mocking
• Programming with algebraic effects