Skip to top bar Skip to header Skip to content Skip to footer

Bookmarks Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA038 Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA038

Bookmarks: hot | popular | recent • tags

Related tags:

Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA038

Morte: an intermediate language for super-optimizing functional programs
my tags: FI:IA014 FI:IA038
1 user, first 13/6/2016, Adam Krupička, bookmarks, people
So you want to learn type theory...
my tags: FI:IA014 FI:IA038
1 user, first 17/5/2016, Adam Krupička, bookmarks, people
THE TYPE THEORY PODCAST
my tags: FI:IA038
1 user, first 24/4/2016, Adam Krupička, bookmarks, people

Special thanks to del.icio.us for inspiring us.