TY  - RPRT
TI  - Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping
AU  - Satoshi Egi
PY  - 2014
UR  - https://arxiv.org/abs/1407.0729
ID  - 1407.0729
ER  -