Skip to main content
Back to top
Ctrl
+
K
Teorija programskih jezikov
Teorija programskih jezikov
Osnove
Praksa programskih jezikov
Vaje
Indukcija
Vaje
Metateorija
Metateorija programskih jezikov
Vaje
λ-račun
Vaje
Tipi
Vaje
Denotacijska semantika
Denotacijska semantika
Vaje
Domene
Vaje
Učinki
Računski učinki
Vaje
Monade
Vaje
Algebrajski učinki
Prestrezniki učinkov
Vaje
Dodatek
Izpeljava tipov
Vaje
.md
.pdf
Prestrezniki učinkov
Prestrezniki učinkov
#