11 - 13 / 13 ![]() ![]() ![]() ![]() |
11. Na videz nemogoči funkcionali Tine Makovecki, 2018, undergraduate thesis Keywords: funkcional izbire, Cantorjeva množica, funkcijsko programiranje, funkcionali, drevesa, izračunljivost |
12. Implementacija rekurzivnih podatkovnih tipov Luka Sabotič, 2023, undergraduate thesis Keywords: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov. |
13. Implementacija razširljivega mixfix razčlenjevalnika Aljaž Medič, 2024, bachelor thesis/paper Keywords: razčlenjevalnik, programski jezik, funkcijsko programiranje, mixfix, OCaml |