@misc{indiciaef2b177b2cc0e,
  title = {Functional programming with lambda-tree syntax},
  author = {Ulysse Gérard and Dale Miller and Gabriel Scherer},
  year = {2019},
  doi = {10.1145/3354166.3354177},
  url = {https://arxiv.org/abs/1908.03619},
  note = {Source identifier: 1908.03619}
}