SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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

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

SPLASH 2020-profile
View general profile