Bibliography of the person, including all types of documents, not only theses.

MSc theses (2)

1. Gašper Žajdela: Operacijska semantika za jezik s časovno omejenimi viri
2. Vid Drobnič: Uporaba Rustovih tipov za varno krmiljenje naprav

BSc theses (4)

1. Luna Strah: Kvantni algebrajski učinki
2. Tjaž Eržen: Paralelizacija grafovskih algoritmov v funkcijskih programskih jezikih
3. DAVID GOLJAT: Praktičnost sintaksne analize s kombinatorji
4. Krištof Ocvirk: Prevajanje funkcijskega programskega jezika v WebAssembly