Anastasiya Kravchuk-Kirilyuk

According to our database, Anastasiya Kravchuk-Kirilyuk authored at least 2 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Persimmon: Nested Family Polymorphism with Extensible Variant Types.

Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin

Proc. ACM Program. Lang., 2024

2019

Eta-Equivalence in Core Dependent Haskell.

Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019