Typed compilation of inclusive subtyping
From MaRDI portal
Publication:2943358
DOI10.1145/351240.351247zbMath1321.68144OpenAlexW2038534598MaRDI QIDQ2943358
Publication date: 11 September 2015
Published in: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/351240.351247
Related Items (6)
Explicit effect subtyping ⋮ Safe zero-cost coercions for Haskell ⋮ A Church-style intermediate language for ML\(^{\text F}\) ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions ⋮ 2-Dimensional Directed Type Theory ⋮ Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions
This page was built for publication: Typed compilation of inclusive subtyping
