TY  - RPRT
TI  - A Top-Down Deriving Mechanism in Haskell
AU  - Song Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2607.07732
ID  - 2607.07732
ER  -