Rongxiao Fu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ornela Dardha
14 publications
Sam Lindley
13 publications
Michel Steuwer
10 publications
Xueying Qin
9 publications
Wenhao Tang
8 publications
Daniel Hillerström
4 publications
James McKinna
3 publications

research

∙ 04/27/2023

Traced Types for Safe Strategic Rewriting

Strategy languages enable programmers to compose rewrite rules into stra...

0 Rongxiao Fu, et al. ∙

research

∙ 04/17/2023

Structural Subtyping as Parametric Polymorphism

Structural subtyping and parametric polymorphism provide a similar kind ...

0 Wenhao Tang, et al. ∙

research

∙ 03/23/2021

Row-Polymorphic Types for Strategic Rewriting

We present a type system for strategy languages that express program tra...

0 Rongxiao Fu, et al. ∙