A theory of typed coercions and its applications

DOI10.1145/1596550.1596598zbMath1302.68093OpenAlexW2119649973MaRDI QIDQ2936830

No author found.

Publication date: 6 January 2015

Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1596550.1596598

zbMATH Keywords

provenancegradual typingcoercion insertionnonambiguitytype-directed translation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Safe Adaptation Through Implicit Effect Coercion ⋮ Provenance as dependency analysis

This page was built for publication: A theory of typed coercions and its applications