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

Workshop talk · WITS 2025 — Workshop on Implementation Techniques for Semantics · January 25, 2025 · Denver, CO, USA

Work-in-progress on deriving type-checkers automatically from second-order signatures, building on the free-foil framework for scope-safe abstract syntax.

Pre-recording

Slides