scientific article; zbMATH DE number 1479609

MaRDI QIDQ4490720zbMATH OpenFDO

Authors Mark P. Jones

Publication date 20 July 2000

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Qualified types for MLF
• Qualified Types
• scientific article; zbMATH DE number 1670740
• A theory of qualified types
• A type directed translation of MLF to System F

Cited in

(5)

• Open and closed scopes for constrained genericity
• Encoding types in ML-like languages
• Type-directed specialization of polymorphism.
• Qualified types for MLF
• Qualified Types

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 Q4490720)