Leseliste

Tim Baumann edited this page Aug 15, 2015 · 20 revisions

Whoa

Blogs (außer das von sigfpe)

Klassische Artikel

Skripten

Podcasts

Videos

  • Eine liste im von wiki.haskell.org
  • 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: Die ersten Kapitel sind eine Einführung in Coq. Dann werden Grundlagen von funktionalen Programmiersprachen erklärt und Coq benutzt, um Beweise über deren Eigenschaften zu führen. Nach und nach kommen immer mehr Sprachfeatures hinzu und man sieht, welche Eigenschaften erhalten bleiben und wie man Beweise ändern muss, oder an welcher Stelle sie genau scheitern.

Unsortiert

Andere Leselisten

  • PLT: “A path to enlightenment in Programming Language Theory”
  • learn-tt: Typtheorie-Leseliste