xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Luís Caires

Registered user since Fri 27 Apr 2018

Name:Luís Caires
Affiliation:Universidade Nova de Lisboa and NOVA LINCS
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification


ICFP 2021 Propositions-as-Types and Shared State
Show activities from other conferences

ICFP 2021-profile
View general profile