Encoding types in ML-like languages

DOI10.1145/289423.289458MaRDI QIDQ5348905zbMATH OpenOpenAlexFDO

Authors

Publication date 21 August 2017

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Encoding types in ML-like languages
• Indexed types
• ML ^F
• scientific article; zbMATH DE number 2090025
• Programming with binders and indexed data-types

Cited in

(6)

• Indexed types
• Encoding types in ML-like languages
• Declarative foreign function binding through generic programming
• A reflection on types
• An NSF proposal
• Codatatypes in ML

This page was built for publication: Encoding types in ML-like languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348905)