Rongxiao Fu

According to our database, Rongxiao Fu authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., October, 2023

Traced Types for Safe Strategic Rewriting.

Rongxiao Fu, Ornela Dardha, Michel Steuwer

CoRR, 2023

2021

Row-Polymorphic Types for Strategic Rewriting.

Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer

CoRR, 2021