Sandra Alves - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Registered user since Wed 13 Mar 2019

Name:Sandra Alves

Country:Portugal

Affiliation:University of Porto

Personal website: http://www.dcc.fc.up.pt/~sandra

Research interests:Linearity, Lambda Calculus, Type Theory

Contributions

2023

TyDe

Committee Member in Program Committee within the TyDe 2023-track

Show activities from other conferences

ICFP 2023-profile
View general profile