Záložky osoby: Mgr. Adam Krupička, učo 410366 se štítkem: FI:IA038

Související štítky

všechny štítky

Záložky osoby: Mgr. Adam Krupička, učo 410366 se štítkem: FI:IA038

• Morte: an intermediate language for super-optimizing functional programs

  mé š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...

  mé štítky: FI:IA014 FI:IA038

  1 osoba, první 17. 5. 2016, Adam Krupička, záložky, lidé
• THE TYPE THEORY PODCAST

  mé štítky: FI:IA038

  1 osoba, první 24. 4. 2016, Adam Krupička, záložky, lidé