Záložky osoby: Mgr. Adam Krupička, učo 410366 se štítkem: FI:IA014 FI:IA038
Záložky osoby: Mgr. Adam Krupička, učo 410366 se štítkem: FI:IA014 FI:IA038
- Morte: an intermediate language for super-optimizing functional programs 1 osoba, první 13. 6. 2016, Adam Krupička, záložky, lidé
- So you want to learn type theory... 1 osoba, první 17. 5. 2016, Adam Krupička, záložky, lidé
Děkujeme del.icio.us za inspiraci.