Abstract Gradualizing System F has been widely discussed. A big challenge is to preserve relational parametricity and/or the gradual guarantee. Most past work focused on preservation of parametricity, but often without few recent works satisfy both properties by giving up syntax, or with some restrictions and introduction sophisticated mechanisms in dynamic semantics. While important for polymo...
