Type system for specializing polymorphism

DOI10.1007/BFB0014549MaRDI QIDQ4364385zbMATH OpenFDO

Authors Atsushi Ohori

Publication date 1 April 1998

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

Full work available at URL https://doi.org/10.1007/BFB0014549

zbMATH Keywords

coherent transformation of an ML style polymorphic language into an explicitly typed calculusspecializing polymorphic primitives based on static type information

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Recommendations

• Type-directed specialization of polymorphism.
• scientific article; zbMATH DE number 1538028
• Flexible type analysis
• Correctness of compiling polymorphism to dynamic typing

Cited in

(3)

• Type-directed specialization of polymorphism.
• Specifying type systems
• scientific article; zbMATH DE number 773983 (Why is no real title available?)

This page was built for publication: Type system for specializing polymorphism

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