Teorija programskih jezikov
Teorija programskih jezikov
Osnove
Praksa programskih jezikov
Indukcija
Metateorija
Metateorija programskih jezikov
λ-račun
Tipi
Izpeljava tipov
Denotacijska semantika
Denotacijska semantika
Domene
Učinki
Računski učinki
Monade
*Algebrajski učinki
*Prestrezniki algebrajskih učinkov
.md
.pdf
*Prestrezniki algebrajskih učinkov
*Prestrezniki algebrajskih učinkov
¶
previous
*Algebrajski učinki