TY  - RPRT
TI  - Constraint Handling Rules with Binders, Patterns and Generic Quantification
AU  - Alejandro Serrano
AU  - Jurriaan Hage
PY  - 2017
UR  - https://arxiv.org/abs/1707.02754
ID  - 1707.02754
ER  -