Gradual Parametricity, Revisited

12 Jul 2018Matías ToroElizabeth LabradaÉric Tanter

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 recent developments have been published in the past year. In addition to leaving some properties as conjectures or future work, we observe that all prior work improperly handle type instantiations when imprecise types are involved... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.