Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
Záložky
>
Záložky se štítkem: FI:IA038
Záložky se štítkem: FI:IA038
Hledat:
ve štítcích
v textech
Záložky:
žhavé
|
populární
|
nejnovější
•
štítky
Související štítky
FI:IA014
všechny štítky
Záložky se štítkem:
FI:IA038
Types and Proofs
Morte: an intermediate language for super-optimizing functional programs
cizí štítky:
FI:IA014
FI:IA038
1 osoba, první 13. 6. 2016, Adam Krupička,
záložky
,
lidé
So you want to learn type theory...
cizí štítky:
FI:IA014
FI:IA038
1 osoba, první 17. 5. 2016, Adam Krupička,
záložky
,
lidé
THE TYPE THEORY PODCAST
cizí štítky:
FI:IA038
1 osoba, první 24. 4. 2016, Adam Krupička,
záložky
,
lidé
Děkujeme del.icio.us za inspiraci.
Morte: an intermediate language for super-optimizing functional programs 1 osoba, první 13. 6. 2016, Adam Krupička, záložky, lidé