Static blame for gradual typing
From MaRDI portal
Publication:6561530
DOI10.1017/s0956796824000029MaRDI QIDQ6561530
Li Yanhui, Lin Chen, Chenghao Su, Yuming Zhou
Publication date: 25 June 2024
Published in: Journal of Functional Programming (Search for Journal in Brave)
This page was built for publication: Static blame for gradual typing