TY  - RPRT
TI  - typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
AU  - Nikolai Kudasov
AU  - Artem Starikov
PY  - 2024
UR  - https://arxiv.org/abs/2408.03170
ID  - 2408.03170
ER  -