Papers and Workshop Talks

• Persimmon: Nested Family Polymorphism with Extensible Variant Types. Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin. SPLASH OOPSLA 2024.
• Family Polymorphism for Proof Extensibility. Anastasiya Kravchuk-Kirilyuk, Yizhou Zhang, Nada Amin. TYPES 2021.
• The B+-tree Index as a Verified Software Unit. Anastasiya Kravchuk-Kirilyuk, Andrew Appel, Lennart Beringer. CoqPL 2021 .
• Eta-Equivalence in Core Dependent Haskell. Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich. In post-proceedings, TYPES 2019 .
• Locally Nameless at Scale. Stephanie Weirich, Antoine Voizard, Anastasiya Kravchuk-Kirilyuk. CoqPL 2018.