Záložky osoby: Mgr. Adam Krupička, učo 410366

Štítky osoby

všechny štítky

Záložky osoby: Mgr. Adam Krupička, učo 410366

• Complete interactive development program for Haskell

  mé štítky: FI:IA014 FI:IB016 FI:IB015

  1 osoba, první 11. 8. 2016, Adam Krupička, záložky, lidé
• SCOOPING THE LOOP SNOOPER

  A proof that the Halting Problem is undecidable

  mé štítky: FI:IA006 FI:IA046 FI:IB005 FI:IB102

  1 osoba, první 1. 7. 2016, Adam Krupička, záložky, lidé
• 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é
• weigh: Measuring allocations in Haskell

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

  1 osoba, první 27. 5. 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é
• Scott Aaronson Answers Every Ridiculously Big Question I Throw at Him

  mé štítky: FI:IA082 FI:MA007

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

  mé štítky: FI:PV021

  1 osoba, první 13. 4. 2016, Adam Krupička, záložky, lidé
• Imperative Reasoning is Hard

  mé štítky: FI:IA014

  1 osoba, první 7. 2. 2016, Adam Krupička, záložky, lidé
• Functional Programming, Abstraction, and Naming Things

  mé štítky: FI:IA014

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