@misc{indiciae7644a7fcb2a0,
  title = {Poly-infix operators and operator families},
  author = {Jan A. Bergstra and Alban Ponse},
  year = {2015},
  url = {https://arxiv.org/abs/1505.01087},
  note = {Source identifier: 1505.01087}
}