Row-Polymorphic Types for Strategic Rewriting. - Rongxiao Fu; Xueying Qin; Ornela Dardha; Michel Steuwer (CoRR, 2021)

Traced Types for Safe Strategic Rewriting. - Rongxiao Fu; Ornela Dardha; Michel Steuwer (CoRR, 2023)

Structural Subtyping as Parametric Polymorphism. - Wenhao Tang; Daniel Hillerström; James McKinna; Michel Steuwer; Ornela Dardha; Rongxiao Fu; Sam Lindley (Proc. ACM Program. Lang., 2023)