Gradual System F

DOI10.1145/3555986MaRDI QIDQ5889784zbMATH OpenOpenAlexFDO

Authors M. Toro, Éric Tanter

Publication date 27 April 2023

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.04596

zbMATH Keywords

gradual typingparametricitypolymorphism

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Pragmatic gradual polymorphism with references
• Abstracting gradual typing
• Principal type schemes for gradual programs
• Gradual type theory
• The Gradualizer: a methodology and algorithm for generating gradual type systems

Cited in

(1)

• Pragmatic gradual polymorphism with references

This page was built for publication: Gradual System F

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5889784)