Slidy z r. 2010/11

1. Úvod
2. Lambda kalkulus
3. Hindley-Milnerův typový systém
4. Algebraické datové typy
5. Ad-hoc polymorfismus (typové třídy)
6. Rekurzivní datové typy
7. Intuicionistická logika, přirozená dedukce (od sekce 3), odkaz na skripta k přirozené dedukci.
8. Úvod do teorie kategorií, Kleisliho kategorie a monády - bez slidů, viz. literatura níže.
9. Úvod do závislých typů - bez slidů, viz. literatura níže.

Prosím napište mi, pokud byste narazili na nějakou chybu či nesrovnalost. Také uvítám případné vaše náměty na to, čemu bychom se v přednášce mohli věnovat.