collaborators

1 paper

cs.PL2022

Data-Codata Symmetry and its Interaction with Evaluation Order

David Binder, Julian Jabs, Ingo Skupin +1

Data types and codata types are, as the names suggest, often seen as duals of each other. However, most programming languages do not support both of them in their full generality,…