Gradual System F

DOI10.1145/3555986OpenAlexW4297830966MaRDI QIDQ5889784

Unnamed Author, Matías 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

polymorphismparametricitygradual typing

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Gradual System F