Mário Florido - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Registered user since Tue 6 Dec 2022

Name:Mário Florido

Country:Portugal

Affiliation:Universidade do Porto

Personal website: https://sigarra.up.pt/fcup/en/FUNC_GERAL.FORMVIEW?p_codigo=238703

Research interests:Functional Programming; Lambda-calculus; Types

Contributions

2023

FTfJP

Gradual Guarantee for FJ with lambda-expressions

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile