FUNCTIONAL PEARL Type-safe cast

DOI10.1017/S0956796804005179MaRDI QIDQ4660266zbMATH OpenOpenAlexFDO

Authors Stephanie Weirich

Publication date 21 March 2005

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796804005179

zbMATH Keywords

dynamic types

Mathematics Subject Classification ID

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

Recommendations

• Type-safe cast (functional pearl)
• Type Safety for FJ and FGJ
• Safe Data Type Specifications
• Type-safe run-time polytypic programming
• scientific article; zbMATH DE number 2089398
• Type-safe method inlining
• Type-safe covariant specialization with generalized matching
• scientific article; zbMATH DE number 1949628
• scientific article; zbMATH DE number 1692934

Cited in

(6)

• Type-safe cast (functional pearl)
• A reflection on types
• Parametricity, type equality, and higher-order polymorphism
• Non-parametric parametricity
• Typing unmarshalling without marshalling types
• Generic programming in 3D

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: FUNCTIONAL PEARL Type-safe cast

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