Type-safe run-time polytypic programming

DOI10.1017/S0956796806005879zbMath1109.68034OpenAlexW2109649240MaRDI QIDQ3426133

Stephanie Weirich

Publication date: 8 March 2007

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

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

zbMATH Keywords

type-erasure semantics

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (1)

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism

Uses Software

• Haskell

This page was built for publication: Type-safe run-time polytypic programming