Subtyping first-class polymorphic components

DOI10.1007/978-3-540-31987-0_24MaRDI QIDQ5316575zbMATH OpenOpenAlexFDO

Authors João Costa Seco, Luís Caires

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107380

Mathematics Subject Classification ID

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

Recommendations

• Polymorphism, subtyping, and type inference in MLsub
• FPH: first-class polymorphism for Haskell
• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• HMF: simple type inference for first-class polymorphism

Cited in

(3)

• A sound type system for layer subtyping and dynamically activated first-class layers
• Type classes for lightweight substructural types
• Subtyping recursive types modulo associative commutative products

This page was built for publication: Subtyping first-class polymorphic components

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