The Calculated Typer (Functional Pearl)

Zac Garby, Patrick Bahr, Graham Hutton. The Calculated Typer (Functional Pearl). In J. Garrett Morris, Ningning Xie, editors, Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, Haskell 2025, Singapore, October 12-18, 2025. pages 17-29, ACM, 2025. [doi]

Abstract

Abstract is missing.