Items where Mentor is "Bauer, izr. prof. dr. Andrej"
2017Jure Taslak (2017) Yoneda lemma and its applications. EngD thesis. 2016Ivo List (2016) Floating point in a purely functional language. EngD thesis. 2014Jana Češarek (2014) Imaginary cube. EngD thesis. 2012Timotej Lazar (2012) Programming with algebraic effects. EngD thesis. 2011Nejc Trdin (2011) Decision support model for management of water sources. EngD thesis. |