SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / April Gonçalves
April Gonçalves

Registered user since Thu 25 Dec 2014

Name:April Gonçalves
Country:Denmark
Affiliation:Metastate AG
Personal website:http://cyberglot.space
Twitter:https://twitter.com/cyberglot
GitHub:https://github.com/cyberglot
Research interests:Programming Languages, Compilers, PL UX

Contributions

HATRA 2020 Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers
LIVE 2020 PC Member in Programme Committee within the LIVE 2020-track
Show activities from other conferences

SPLASH 2020-profile
View general profile