TY  - RPRT
TI  - Poly-infix operators and operator families
AU  - Jan A. Bergstra
AU  - Alban Ponse
PY  - 2015
UR  - https://arxiv.org/abs/1505.01087
ID  - 1505.01087
ER  -