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

Researchers Revisit Codata, Dependent Types, and the Limits of the Expression Problem | shared by Hacker Noon | Codú