Anastasiya Kravchuk-Kirilyuk - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Mon 14 Dec 2020

Name:Anastasiya Kravchuk-Kirilyuk

Country:United States

Affiliation:Harvard University

Personal website: https://akravc.github.io/

Research interests:type systems, verification, computer science education

Contributions

2024

SPLASH

Persimmon: Nested Family Polymorphism with Extensible Variant Types

Show activities from other conferences

SPLASH 2024-profile
View general profile