AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
