1 - 2 / 2 1 |
1. Uporaba tipov za zagotavljanje pravilnosti programov Filip Koprivec, 2017, undergraduate thesis Keywords: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi |
2. Eksplicitna izpeljava učinkov Filip Koprivec, 2019, master's thesis Keywords: algebrajski učinki in njihovi prestrezniki, izpeljava tipov, eksplicitni tipi |