Bookmarks with the Following Tag: typetheory
Bookmarks with the Following Tag: typetheory
- A path to Programming Language Theory enlightenment 2 users, first 12/9/2014, Juraj Major, bookmarks, people
- 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.