Leseliste

Whoa

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

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)

Unsortiert

• Functional Mocking