TY  - RPRT
TI  - A Practical Mode System for Recursive Definitions
AU  - Alban Reynaud
AU  - Gabriel Scherer
AU  - Jeremy Yallop
PY  - 2020
DO  - 10.1145/3434326
UR  - https://arxiv.org/abs/1811.08134
ID  - 1811.08134
ER  -