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