Záložky se štítkem: FI:IB016! FI:IA014

Záložky se štítkem: FI:IB016! FI:IA014

• Recursion Schemes

  cizí štítky: haskell FI:IB016! FI:IA014!

  1 osoba, první 12. 5. 2015, Matej Kollár, záložky, lidé
• The Evolution of a Haskell Programmer

  cizí štítky: FI:IB015 haskell FI:IB016 FI:IA014 FI:IB016! fun fact

  1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
• The Day Python Embarrassed Imperative Programming

  cizí štítky: FI:IB015 programming haskell FI:IB016 FI:IA014 FI:IB016! languages monads

  1 osoba, první 10. 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.

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

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

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

  2 osoby, první 5. 1. 2015, Matěj Kolouch Grabovský, záložky, lidé
• Null References: The Billion Dollar Mistake -- Tony Hoare

  cizí štítky: FI:IB015 programming FI:IB016 FI:IA014 FI:IB016!

  2 osoby, první 31. 8. 2013, Daniel Vašek, záložky, lidé
• Functional curse

  True story

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

  1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
• Cartesian Closed Comic

  cizí štítky: FI:IB015 haskell FI:IB016 FI:IA014 comics FI:IB016! fun komiks

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

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

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

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

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