FUNCTIONAL PEARL Type-safe cast

DOI10.1017/S0956796804005179zbMath1063.68041OpenAlexW137136619MaRDI QIDQ4660266

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)

Related Items (4)

A Reflection on Types ⋮ Non-parametric parametricity ⋮ Generic programming in 3D ⋮ Parametricity, type equality, and higher-order polymorphism

Uses Software

• Haskell

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