Basic polymorphic typechecking

DOI10.1016/0167-6423(87)90019-0MaRDI QIDQ580956zbMATH OpenOpenAlexWikidataFDO

Authors Luca Cardelli

Publication date 1987

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(87)90019-0

zbMATH Keywords

Milner's polymorphic typechecking algorithmML languageModula-2

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Polymorphic type inference and containment
• Type-checking multi-parameter type classes
• Polymorphic typed defunctionalization
• scientific article; zbMATH DE number 1678377
• Complete and easy bidirectional typechecking for higher-rank polymorphism
• Extending the type checker of Standard ML by polymorphic recursion
• Type inference in polymorphic type discipline
• scientific article; zbMATH DE number 4052993
• Type inference for polymorphic references

Cited in

(22)

• Type checking and problem of overloaded arguments
• Formal verification of algorithm \(\mathcal{W}\): the monomorphic case
• Algorithm of construction of a type and its realization in the language W
• scientific article; zbMATH DE number 1678377 (Why is no real title available?)
• Efficient type checking for path polymorphism
• Polymorphic types in ACL2
• scientific article; zbMATH DE number 2043546 (Why is no real title available?)
• Type inference with subtypes
• scientific article; zbMATH DE number 3928328 (Why is no real title available?)
• Quantifier elimination and parametric polymorphism in programming languages
• Explaining Polymorphic Types
• scientific article; zbMATH DE number 2154397 (Why is no real title available?)
• Implementation of Functional Languages
• scientific article; zbMATH DE number 4155856 (Why is no real title available?)
• Polymorphic programming I. Another language designed on semantic principles
• Lower bounds on type checking overloading
• scientific article; zbMATH DE number 3907754 (Why is no real title available?)
• Type inference for record concatenation and multiple inheritance
• A new type-checker for a functional language
• Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}
• scientific article; zbMATH DE number 3898200 (Why is no real title available?)
• Inserting injection operations to denotational specifications

This page was built for publication: Basic polymorphic typechecking

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