Julian Jabs

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Spatiotemporal Data

Knowledge Discovery

Top Venues

Proc. ACM Program. Lang.

Publications

David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
Data-Codata Symmetry and its Interaction with Evaluation Order. CoRR (2022)
David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
Decomposition diversity with symmetric data and codata. Proc. ACM Program. Lang. 4 (POPL) (2020)
Klaus Ostermann, Julian Jabs
Dualizing Generalized Algebraic Data Types by Matrix Transposition. ESOP (2018)