Migrating gradual types

From MaRDI portal
Publication:5051992

DOI10.1017/S0956796822000089OpenAlexW2899089688MaRDI QIDQ5051992

Martin Erwig, Eric Walkingshaw, Sheng Chen, John Peter Campora III

Publication date: 18 November 2022

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796822000089




Related Items (1)


Uses Software


Cites Work


This page was built for publication: Migrating gradual types