Implementing Dependent Data and Codata Types with Implicit Arguments (2025)

(programming-journal.org) by mpweiher | Jan 18, 2026 | 0 comments on HN