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