Dualizing Generalized Algebraic Data Types by Matrix Transposition. - Klaus Ostermann; Julian Jabs (ESOP, 2018)

Decomposition diversity with symmetric data and codata. - David Binder; Julian Jabs; Ingo Skupin; Klaus Ostermann (Proc. ACM Program. Lang., 2020)

Data-Codata Symmetry and its Interaction with Evaluation Order. - David Binder; Julian Jabs; Ingo Skupin; Klaus Ostermann (CoRR, 2022)

A Dualities-Consolidating Framework to Support Systematic Programming Language Design. - Julian Jabs (2022)