User loginNavigation |
Daniel YokomizoPersonal informationBrazil plt, fp, haskell, type theory, category theory, compilers, library and language design, correctness, proof theory History21 years 22 weeks |
Browse archives
Active forum topicsNew forum topicsRecent comments
|