Recursive subtyping revealed

DOI10.1145/351240.351261zbMath1321.68153OpenAlexW2029791960MaRDI QIDQ2943374

Michael Y. Levin, Benjamin C. Pierce, Vladimir Gapeyev

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.351261

zbMATH Keywords

tutorial paper

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Polarized subtyping ⋮ Subtyping recursion and parametric polymorphism in kernel Fun

This page was built for publication: Recursive subtyping revealed