Záložky se štítkem: FI:IB016! FI:IA014
- Recursion Schemes 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.
1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé - The Day Python Embarrassed Imperative Programming 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- The Evolution of a Haskell Programmer 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Monoids, Functors, Applicatives, and Monads: 10 Main Ideas 2 osoby, první 5. 1. 2015, Matěj Kolouch Grabovský, záložky, lidé
- Null References: The Billion Dollar Mistake -- Tony Hoare 2 osoby, první 31. 8. 2013, Daniel Vašek, záložky, lidé
- Homotopy Type Theory: Univalent Foundations of Mathematics 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Cartesian Closed Comic 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Advanced Topics in Programming Languages (Homotopy type theory) 2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé
Děkujeme del.icio.us za inspiraci.