Phantom types and subtyping

DOI10.1017/S0956796806006046zbMath1109.68030OpenAlexW2571092107MaRDI QIDQ3426136

Matthew T. Fluet, Riccardo Pucella

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/s0956796806006046

zbMATH Keywords

parametric polymorphismtype constraintsunification of polymorphic types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

\textsc{Mnemonics}: type-safe bytecode generation at run time ⋮ Lambda calculus with algebraic simplification for reduction parallelisation: Extended study ⋮ Lightweight Static Capabilities

This page was built for publication: Phantom types and subtyping