Phantom types and subtyping

DOI10.1017/S0956796806006046zbMATH Open1109.68030OpenAlexW2571092107MaRDI QIDQ3426136FDOQ3426136

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

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

zbMATH Keywords

parametric polymorphismtype constraintsunification of polymorphic types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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)