// Hacker Noon · 5 March 2026

Rethinking Data and Codata Through Matrix Transposition

This paper formalizes de- and refunctionalization as matrix transposition between data and codata types in a dependently typed language. The authors prove that these transformations preserve typing, equality, and program well-formedness at the judgmental level. However, they identify open challenges...

Hacker Noon

@hacker-noon · Concatenation: The Interconnected CS Series

hackernoon.com

Hacker Noon@hacker-noon