Bookmarks with the Following Tag: FI:IA014 FI:IB016!

Bookmarks with the Following Tag: FI:IA014 FI:IB016!

• Recursion Schemes

  other users' tags: haskell FI:IB016! FI:IA014!

  1 user, first 12/5/2015, Matej Kollár, bookmarks, people
• 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.

  other users' tags: programming FI:IB016! java android FI:IA014! lisp scheme

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• The Day Python Embarrassed Imperative Programming

  other users' tags: FI:IB015 programming haskell FI:IB016 FI:IA014 FI:IB016! languages monads

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• The Evolution of a Haskell Programmer

  other users' tags: FI:IB015 haskell FI:IB016 FI:IA014 FI:IB016! fun fact

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Monoids, Functors, Applicatives, and Monads: 10 Main Ideas

  other users' tags: blog FI:IB015 programming haskell FI:IB016 FI:IA014 FI:IB016! FI:IA014!

  2 users, first 5/1/2015, Matěj Kolouch Grabovský, bookmarks, people
• Null References: The Billion Dollar Mistake -- Tony Hoare

  other users' tags: FI:IB015 programming FI:IB016 FI:IA014 FI:IB016!

  2 users, first 31/8/2013, Daniel Vašek, bookmarks, people
• Functional curse

  True story

  other users' tags: FI:IB015 haskell FI:IB016! prokrastinace FI:IA014!

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Homotopy Type Theory: Univalent Foundations of Mathematics

  other users' tags: FI:IB015 cteni education FI:IB016! book ebook PříF:M7150 theory FI:IA014! type

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Cartesian Closed Comic

  other users' tags: FI:IB015 haskell FI:IB016 FI:IA014 comics FI:IB016! fun komiks

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Advanced Topics in Programming Languages (Homotopy type theory)

  other users' tags: FI:IB015 FI:IB016 education FI:IA014 FI:IB016! PříF:M7150 theory FI:IA014! course type PříF:M7151 PříF:M8250

  2 users, first 8/3/2015, Juraj Major, bookmarks, people