Collaborated with:
K.Ostermann David Binder Ingo Skupin
Talks about:
data (2) transposit (1) decomposit (1) symmetr (1) general (1) algebra (1) matrix (1) dualiz (1) divers (1) codata (1)
Person: Julian Jabs
DBLP: Jabs:Julian
Contributed to:
Wrote 2 papers:
- ESOP-2018-OstermannJ #algebra #data type #matrix
- Dualizing Generalized Algebraic Data Types by Matrix Transposition (KO, JJ), pp. 60–85.
- POPL-2020-BinderJSO #composition #symmetry
- Decomposition diversity with symmetric data and codata (DB, JJ, IS, KO), p. 28.