Home » user account

Daniel Yokomizo

Personal information


Brazil

male

http://daniel.yokomizo.org

plt, fp, haskell, type theory, category theory, compilers, library and language design, correctness, proof theory

History


9 years 37 weeks