Type-directed specialization of polymorphism.

DOI10.1006/inco.1999.2831zbMath1045.68505OpenAlexW2108293574MaRDI QIDQ1854317

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)

Uses Software

• ML
• Haskell
• TIL

Cites Work

• A characterization of lambda definability in categorical models of implicit polymorphism
• Inheritance as implicit coercion
• A theory of type polymorphism in programming
• Intensional polymorphism in type-erasure semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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