TY  - RPRT
TI  - Row-Polymorphic Types for Strategic Rewriting
AU  - Rongxiao Fu
AU  - Xueying Qin
AU  - Ornela Dardha
AU  - Michel Steuwer
PY  - 2021
UR  - https://arxiv.org/abs/2103.13390
ID  - 2103.13390
ER  -