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)

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

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)