Intensional polymorphism in type-erasure semantics

DOI10.1145/289423.289459MaRDI QIDQ5348906zbMATH OpenOpenAlexFDO

Authors Karl Crary, Stephanie Weirich, Greg Morrisett

Publication date 21 August 2017

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics
• Fully reflexive intensional type analysis
• scientific article; zbMATH DE number 2087540
• scientific article; zbMATH DE number 1693038

Cited in

(16)

• Trace semantics for polymorphic references
• From Monomorphic to Polymorphic Well-Typings and Beyond
• Intensional polymorphism in type-erasure semantics
• Fully reflexive intensional type analysis
• scientific article; zbMATH DE number 7577586 (Why is no real title available?)
• Intensional polymorphism in type-erasure semantics
• Type-directed specialization of polymorphism.
• Typed generic traversal with term rewriting strategies
• scientific article; zbMATH DE number 2087540 (Why is no real title available?)
• Erasure and Polymorphism in Pure Type Systems
• On polymorphic types of untyped terms
• Polymorphic success types for Erlang
• Polymorphic type inference and containment
• Hoare type theory, polymorphism and separation
• scientific article; zbMATH DE number 1693038 (Why is no real title available?)
• Type-level computation using narrowing in \(\Omega\)mega

This page was built for publication: Intensional polymorphism in type-erasure semantics

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