Daniel Yokomizo | Lambda the Ultimate

Daniel Yokomizo

view
track

Personal information

Country:
Brazil

Gender:
male

URL of homepage:
http://daniel.yokomizo.org

Interests:

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

History

Member for:
10 years 6 weeks