TY  - RPRT
TI  - Egison: Non-Linear Pattern-Matching against Non-Free Data Types
AU  - Satoshi Egi
PY  - 2015
UR  - https://arxiv.org/abs/1506.04498
ID  - 1506.04498
ER  -