Home » user account

Daniel Yokomizo

Personal information


Brazil

male

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

History


15 years 31 weeks