Lisa Vasilenko

Registered user since Tue 28 Jun 2022

Name:Lisa Vasilenko
Country:Spain
Affiliation:IMDEA Software Institute
Research interests:Type Theory, Functional Programming, Program Verification

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile