TY  - RPRT
TI  - Structural and semantic pattern matching analysis in Haskell
AU  - Pavel Kalvoda
AU  - Tom Sydney Kerckhove
PY  - 2019
UR  - https://arxiv.org/abs/1909.04160
ID  - 1909.04160
ER  -