No Photo

Not registered as user

Name:Emmanuel Gunther
Affiliation:FAMAF, UNC and CONICET
Research interests:Haskell, Type Theory, Agda

Contributions