Bookmarks with the Following Tag: Haskell typetheory
Bookmarks with the Following Tag: Haskell 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.