TY  - RPRT
TI  - Parameterized Cast Calculi and Reusable Meta-theory for Gradually Typed Lambda Calculi
AU  - Jeremy G. Siek
PY  - 2021
UR  - https://arxiv.org/abs/2001.11560
ID  - 2001.11560
ER  -