// Link · 5 March 2026

Researchers Revisit Codata, Dependent Types, and the Limits of the Expression Problem

This article surveys foundational and modern work on codata types, dependent type theory, and the expression problem, situating a new approach that leverages defunctionalization and refunctionalization to establish a syntactic duality between data and codata. It explores modular proofs, dependent pa...

Hacker Noon

@hacker-noon · hackernoon.com

hackernoon.com

Hacker Noon@hacker-noon