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

WITS 2025 — Workshop on Implementation Techniques for Semantics, co-located with POPL 2025, Denver, CO, USA · January 25, 2025

Joint work with Anastasia Smirnova, Vladislav Deryabkin, Diana Tomilovskaia, and Ekaterina Maksimova.

A workshop progress report on generating type-checkers from second-order signatures, building on the free-foil scope-safe abstract syntax framework.

Slides

Download PDF

Pre-recording

Code: evermake/free-foil-typecheck

Kudasov, N., Smirnova, A., Deryabkin, V., Tomilovskaia, D., Maksimova, E. (2025). "Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax." WITS 2025 — Workshop on Implementation Techniques for Semantics, co-located with POPL 2025, Denver, CO.