Bookmarks of the following user: Mgr. Andrej Tokarčík, učo 373877 with the tag: typetheory
Bookmarks of the following user: Mgr. Andrej Tokarčík, učo 373877 with the tag: typetheory
- Class-parameterized classes, and the type-level logarithm
"The implementation of RSA on type level is left for future work."
1 user, first 21/1/2013, Andrej Tokarčík, bookmarks, people
Special thanks to del.icio.us for inspiring us.