http://pleiad.cl/ 2026-05-06T21:04:24+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2021-02-09T23:10:46+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/gsf/start GSF: Gradual System F Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several designs have been recently proposed, with varying syntax, behavior, and properties. Starting from a detailed review of the challenges and tensions that affect the design of gradual parametric languages, this work presents an extensive account of…