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

Bookmarks Bookmarks with the Following Tag: FI:IA038 FI:IA014 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 with the Following Tag: FI:IA038 FI:IA014

Bookmarks: hot | popular | recent • tags

Bookmarks with the Following Tag: FI:IA038 FI:IA014

Morte: an intermediate language for super-optimizing functional programs
other users' tags: FI:IA014 FI:IA038
1 user, first 13/6/2016, Adam Krupička, bookmarks, people
So you want to learn type theory...
other users' tags: FI:IA014 FI:IA038
1 user, first 17/5/2016, Adam Krupička, bookmarks, people

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