TY  - RPRT
TI  - Scoped and Typed Staging by Evaluation
AU  - Guillaume Allais
PY  - 2024
UR  - https://arxiv.org/abs/2310.13413
ID  - 2310.13413
ER  -