Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA014 FI:IA038
Bookmarks of the following user: Mgr. Adam Krupička, učo 410366 with the tag: FI:IA014 FI:IA038
- 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.