Encoding intensional type analysis

DOI10.1007/3-540-45309-1_7MaRDI QIDQ2763693zbMATH OpenFDO

Authors Stephanie Weirich

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45309-1_7

zbMATH Keywords

intensional type analysis

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(10)

• Encoding types in ML-like languages
• Enhanced type inference for binding-time analysis
• A typed encoding of boxed into safe ambients
• Extensible encoding of type hierarchies
• Fundamentals of coding type problems
• Intensional polymorphism in type-erasure semantics
• scientific article; zbMATH DE number 2087540 (Why is no real title available?)
• Free theorems and runtime type representations
• Intensional polymorphism in type-erasure semantics
• Generic programming in 3D

This page was built for publication: Encoding intensional type analysis

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