Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alejandro Gadea
conf.researchr.org general profile
ICFP 2017 profile
Not registered as user
Name:
Alejandro Gadea
Affiliation:
FAMAF, UNC and CONICET
Research interests:
Haskell, Coq, Agda, type theory, domain theory
Contributions
2017
ICFP
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Share
x
Wed 15 Jan 09:39