Basic polymorphic typechecking

DOI10.1016/0167-6423(87)90019-0zbMath0626.68009OpenAlexW2133472914WikidataQ56982327 ScholiaQ56982327MaRDI QIDQ580956

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

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

Related Items

Inserting injection operations to denotational specifications, Type inference with subtypes, Quantifier elimination and parametric polymorphism in programming languages, Type inference for record concatenation and multiple inheritance