Papers and Talks

• 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.