TY  - RPRT
TI  - Generic Level Polymorphic N-ary Functions
AU  - Guillaume Allais
PY  - 2021
DO  - 10.1145/3331554
UR  - https://arxiv.org/abs/2110.06107
ID  - 2110.06107
ER  -