2 papers
cs.PL2024
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
David Binder, Ingo Skupin, Tim Süberkrüb +1
The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees a…
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,…