Lisa Vasilenko

Registered user since Tue 28 Jun 2022

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

Contributions

PLDI 2022 Coupled Applicative Functors
Show activities from other conferences

PLDI 2022-profile
View general profile