Type-directed specialization of polymorphism.

DOI10.1006/INCO.1999.2831MaRDI QIDQ1854317zbMATH OpenOpenAlexFDO

Authors Atsushi Ohori

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1999.2831

zbMATH Keywords

program execution

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1088037
• Flexible type analysis
• Flexible representation analysis
• Correctness of compiling polymorphism to dynamic typing
• scientific article; zbMATH DE number 1538028

Cites work

• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1342281 (Why is no real title available?)
• scientific article; zbMATH DE number 1088048 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• scientific article; zbMATH DE number 1479609 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• A characterization of lambda definability in categorical models of implicit polymorphism
• A theory of type polymorphism in programming
• Inheritance as implicit coercion
• Intensional polymorphism in type-erasure semantics

Cited in

(5)

• Flexible representation analysis
• Flexible type analysis
• Type specialisation for imperative languages
• A design for type-directed programming in Java
• On the runtime complexity of type-directed unboxing

Describes a project that uses

Uses Software

• TIL
• Haskell
• ML

This page was built for publication: Type-directed specialization of polymorphism.

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