Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA038 FI:IA014
Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA038 FI:IA014
- Morte: an intermediate language for super-optimizing functional programs 1 user, first 13/6/2016, Adam Krupička, bookmarks, people
- So you want to learn type theory... 1 user, first 17/5/2016, Adam Krupička, bookmarks, people
Special thanks to del.icio.us for inspiring us.