TY  - RPRT
TI  - Functional programming with lambda-tree syntax
AU  - Ulysse Gérard
AU  - Dale Miller
AU  - Gabriel Scherer
PY  - 2019
DO  - 10.1145/3354166.3354177
UR  - https://arxiv.org/abs/1908.03619
ID  - 1908.03619
ER  -