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
.ipynb
.md
.pdf
Binder
Teorija programskih jezikov
Teorija programskih jezikov
¶
next
Praksa programskih jezikov