User loginNavigation |
Daniel YokomizoPersonal informationBrazil plt, fp, haskell, type theory, category theory, compilers, library and language design, correctness, proof theory History21 years 11 weeks |
Browse archives
Active forum topics |
Recent comments
17 weeks 11 hours ago
17 weeks 11 hours ago
17 weeks 11 hours ago
23 weeks 21 hours ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago