Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax

Watch a 20-minute video presentation from WITS 2025 workshop where researchers from Innopolis University present their work-in-progress on implementing generic versions of bidirectional typing and Hindley-Milner-style type inference algorithms within the Free Foil framework. Learn about this efficient scope-safe representation for syntax with binders that aims to create more generic type checking implementations in Haskell using Second-Order Abstract Syntax. The presentation was delivered by Nikolai Kudasov, Anastasia Smirnova, Vladislav Deryabkin, Diana Tomilovskaia, and Ekaterina Maksimova at the ACM SIGPLAN-sponsored workshop on January 20, 2025.