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)

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

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)