PLDI 2022
Mon 13 - Fri 17 June 2022 San Diego, California, United States
PLDI 2022 (series) / Lisa Vasilenko
Lisa Vasilenko

Registered user since Tue 28 Jun 2022

Name:Lisa Vasilenko
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: https://oquechy.github.io
Twitter: https://twitter.com/oquechy
GitHub: https://github.com/oquechy
Research interests:Type Theory, Functional Programming, Program Verification

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile