Phantom types and subtyping

DOI10.1017/S0956796806006046MaRDI QIDQ3426136zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Polymorphism, subtyping, and type inference in MLsub
• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• Subtyping constrained types
• An extension of system \(F\) with subtyping

Cited in

(3)

• Lightweight static capabilities
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• \textsc{Mnemonics}: type-safe bytecode generation at run time

This page was built for publication: Phantom types and subtyping

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