Záložky osoby: Mgr. Adam Krupička, učo 410366 se štítkem: FI:IA038 FI:IA014
Záložky osoby: Mgr. Adam Krupička, učo 410366 se štítkem: FI:IA038 FI:IA014
- 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.