Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Záložky Záložky osoby: Mgr. Andrej Tokarčík, učo 373877 se štítkem: Haskell typetheory Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Záložky osoby: Mgr. Andrej Tokarčík, učo 373877 se štítkem: Haskell typetheory

Záložky: žhavé | populární | nejnovější • štítky

Záložky osoby: Mgr. Andrej Tokarčík, učo 373877 se štítkem: Haskell typetheory

Class-parameterized classes, and the type-level logarithm
"The implementation of RSA on type level is left for future work."

mé štítky: phun haskell typetheory
1 osoba, první 21. 1. 2013, Andrej Tokarčík, záložky, lidé

Děkujeme del.icio.us za inspiraci.