Daniel Yokomizo

Personal information


Brazil

male

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

History


13 years 22 weeks