TY  - RPRT
TI  - Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
AU  - Satoshi Egi
PY  - 2019
UR  - https://arxiv.org/abs/1911.04631
ID  - 1911.04631
ER  -