1 - 2 / 2 1 |
1. Podatkovni tipi kot začetne algebre in končne koalgebre Boštjan Gec, 2018, undergraduate thesis Keywords: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebra |
2. Implementacija rekurzivnih podatkovnih tipov Luka Sabotič, 2023, undergraduate thesis Keywords: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov. |