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

A Formal Core for Dependent Data and Codata with Type Soundness Guarantees

featured image - A Formal Core for Dependent Data and Codata with Type Soundness Guarantees

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