TY  - RPRT
TI  - Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
AU  - Bohdan Liesnikov
AU  - David Binder
AU  - Tim Süberkrüb
PY  - 2025
DO  - 10.22152/programming-journal.org/2025/10/19
UR  - https://arxiv.org/abs/2511.15819
ID  - 2511.15819
ER  -