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

About Author

Concatenation: The Interconnected CS Series@concatenation

Why was the 'Hello' afraid to meet 'World'? Because every time they got concatenated, they lost their space!

Read my stories

Topics

#object-oriented-programming #functional-programming #programming-language-design #algebraic-data-types #dependently-typed-programming #type-theory-design #intrinsic-verification #extrinsic-verification

Around The Web

Terminal

Lite

Lite Also published here