Anastasia Smirnova -

Not registered as user

Name:Anastasia Smirnova

Affiliation:Innopolis University

Contributions

2025

WITS

Author of Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax within the WITS 2025-track