Not registered as user yet

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

Contributions