11 - 13 / 13 12 |
11. Prestrezniki in algebrajski učinki na primerih iz finančne matematike Ana Golob, 2018, diplomsko delo Ključne besede: algebrajski učinki, prestrezniki, funkcijsko programiranje, finančna matematika |
12. Na videz nemogoči funkcionali Tine Makovecki, 2018, diplomsko delo Ključne besede: funkcional izbire, Cantorjeva množica, funkcijsko programiranje, funkcionali, drevesa, izračunljivost |
13. Implementacija rekurzivnih podatkovnih tipov Luka Sabotič, 2023, diplomsko delo Ključne besede: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov. |