Vitor Coimbra de Oli... @VitorCBSB 
hindley-milner top 100 lambda-calculus top 100 type-system top 100

Expertise

Global rank

# 185,951

Location

Brasília, Brazil
Languages
systemv...
vhdl
verilog
Haskell
OCaml
Products
Emacs
Topics
hindley...
lambda-...
type-sy...
type-ch...
type-in...
functio...
interme...
asic
develop...
functio...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.