Anastasiya Kravchuk-Kirilyuk

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 2

Top Topics

Plagiarism Detection

Top Venues

Proc. ACM Program. Lang.

Publications

Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin
Persimmon: Nested Family Polymorphism with Extensible Variant Types. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich
Eta-Equivalence in Core Dependent Haskell. TYPES (2019)