Skip to main content
Back to top
Ctrl
+
K
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. Specifikacija, implementacija, abstrakcija
9. Logično programiranje
10. Logično programiranje z omejitvami
11. Podtipi
12. Objektno programiranje
13. Haskell in razredi tipov
14. Monade in računski učinki
15. Učinki in prestrezniki
Abecedni seznam