Parametric polymorphism and semantic subtyping

DOI10.1145/2034773.2034789MaRDI QIDQ5176967zbMATH OpenOpenAlexFDO

Authors Nils Gesbert, Pierre Genevès, Nabil Layaïda

Publication date 5 March 2015

Published in Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2034773.2034789

zbMATH Keywords

polymorphismsubtypingtype system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 512792
• Set-theoretic foundation of parametric polymorphism and subtyping
• scientific article; zbMATH DE number 176489
• Domain-theoretical models of parametric polymorphism
• scientific article; zbMATH DE number 4154448
• A Logic for Parametric Polymorphism with Effects
• Formalization of a polymorphic subtyping algorithm
• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• Realisability semantics of parametric polymorphism, general references and recursive types

Cited in

(3)

• Backward type inference for XML queries
• Parametric polymorphism and operational equivalence
• Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!

Describes a project that uses

Uses Software

• CDuce
• XDuce

This page was built for publication: Parametric polymorphism and semantic subtyping

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