scientific article; zbMATH DE number 1088037

MaRDI QIDQ4364385zbMATH OpenFDO

Authors Atsushi Ohori

Publication date 1 April 1998

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:

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