Eta-Equivalence in Core Dependent Haskell. - Anastasiya Kravchuk-Kirilyuk; Antoine Voizard; Stephanie Weirich (TYPES, 2019)

Persimmon: Nested Family Polymorphism with Extensible Variant Types. - Anastasiya Kravchuk-Kirilyuk; Gary Feng; Jonas Iskander; Yizhou Zhang 001; Nada Amin (Proc. ACM Program. Lang., 2024)