Rongxiao Fu

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Structural Constraints

Genetic Algorithm

Top Venues

Proc. ACM Program. Lang.

Publications

Rongxiao Fu, Ornela Dardha, Michel Steuwer
Traced Types for Safe Strategic Rewriting. CoRR (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. CoRR (2023)
Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
Row-Polymorphic Types for Strategic Rewriting. CoRR (2021)