Gradual System F

DOI10.1145/3555986OpenAlexW4297830966MaRDI QIDQ5889784FDOQ5889784

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

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

zbMATH Keywords

polymorphismparametricitygradual typing

Mathematics Subject Classification ID

Computer science (68-XX)

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)