Bookmarks of the following user: Mgr. Matej Kollár, učo 208115 with the tag: FI:IA014! FI:IB016

Bookmarks of the following user: Mgr. Matej Kollár, učo 208115 with the tag: FI:IA014! FI:IB016

• Recursion Schemes

  my 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.

  my tags: FI:IB016! programming FI:IA014! lisp android java scheme

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

  my tags: haskell FI:IB016! FI:IB015 programming FI:IB016 blog FI:IA014 FI:IA014!

  2 users, first 5/1/2015, Matěj Kolouch Grabovský, bookmarks, people
• Functional curse

  True story

  my tags: haskell FI:IB016! FI:IB015 prokrastinace FI:IA014!

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

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

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

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

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