Principi programskih jezikov
Uvod
1. O programskih jezikih in aritmetičnih izrazih
2. Ukazni programski jezik
3. Dokazovanje pravilnosti programov
4. λ-račun
5. Deklarativno programiranje
6. Rekurzija in rekurzivni tipi
7. Izpeljava tipov
8. Logično programiranje
9. Logično programiranje z omejitvami
10. Specifikacija, implementacija, abstrakcija
11. Podtipi
12. Objektno programiranje
13. Haskell in razredi tipov
14. Monade in računski učinki
15. Učinki in prestrezniki
Abecedni seznam