Flexible type analysis

DOI10.1145/317636.317906MaRDI QIDQ2817725zbMATH OpenOpenAlexFDO

Authors Karl Crary, Stephanie Weirich

Publication date 1 September 2016

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Flexible representation analysis
• Fully reflexive intensional type analysis
• A demand-driven adaptive type analysis
• Type-directed specialization of polymorphism.
• Intensional polymorphism in type-erasure semantics

Cited in

(10)

• Open and closed scopes for constrained genericity
• Type-directed specialization of polymorphism.
• Type dispatch for named hierarchical types
• Fully reflexive intensional type analysis
• A demand-driven adaptive type analysis
• scientific article; zbMATH DE number 1088037 (Why is no real title available?)
• Flexible representation analysis
• On the runtime complexity of type-directed unboxing
• Type-based termination of generic programs
• Generic programming in 3D

This page was built for publication: Flexible type analysis

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