Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Amin Timany

Registered user since Wed 24 Aug 2016

Name:Amin Timany
Country:Denmark
Affiliation:Aarhus University
Research interests:Programming Languages, Proof Assistants

Contributions

Show activities from other conferences

ICFP 2020-profile
View general profile