Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: FI:IB016! FI:IA014!

Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: FI:IB016! FI:IA014!

• Recursion Schemes

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

  1 osoba, první 12. 5. 2015, Matej Kollár, záložky, lidé
• The Kawa Scheme language

  Kawa is a programming language for the Java platform. It is an implementation of Scheme, which, is in the Lisp family of programming languages. It is possible to build Android applications using Kawa.

  mé štítky: FI:IB016! programming FI:IA014! lisp android java scheme

  1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
• Monoids, Functors, Applicatives, and Monads: 10 Main Ideas

  mé štítky: haskell FI:IB016! FI:IB015 programming FI:IB016 blog FI:IA014 FI:IA014!

  2 osoby, první 5. 1. 2015, Matěj Kolouch Grabovský, záložky, lidé
• Functional curse

  True story

  mé štítky: haskell FI:IB016! FI:IB015 prokrastinace FI:IA014!

  1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
• Homotopy Type Theory: Univalent Foundations of Mathematics

  mé štítky: FI:IB016! FI:IB015 cteni ebook book PříF:M7150 FI:IA014! education theory type

  1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
• Advanced Topics in Programming Languages (Homotopy type theory)

  mé štítky: FI:IB016! FI:IB015 PříF:M7150 FI:IA014! education theory type course | cizí štítky: FI:IB016 FI:IA014 PříF:M7151 PříF:M8250

  2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé