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

Related tags:

all tags

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

• FRB library under 200 lines

  my tags: haskell FI:IB016! blog FRP

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Haskell cheatsheet

  my tags: FI:IB016! FI:IB016

  2 users, first 24/5/2013, Miroslav Mamrák, 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
• Cartesian Closed Comic

  my tags: haskell FI:IB016! FI:IB015 FI:IB016 fun comics komiks FI:IA014

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Escape From the Ivory Tower

  my tags: FI:IB016! FI:IB016

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Haskell lectures

  my tags: FI:IB016! FI:IB016

  2 users, first 24/5/2013, Miroslav Mamrák, bookmarks, people
• Barbara Liskov - The Power of Abstraction

  my tags: FI:IB016! FI:IB015 programming FI:IB016 obor_informatika obor_matematika science

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Beating the Averages

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

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• A Brief, Incomplete, and Mostly Wrong History of Programming Languages

  Nazov hovori za vsetko...

  my tags: haskell FI:IB016! FI:IB015 FI:IB016 fun blog FI:IA014 | other users' tags: humor programování zábava

  2 users, first 13/10/2010, Jan Kasprzak, 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