This story draft by @concatenation has not been reviewed by an editor, YET.

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

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