Inserting injection operations to denotational specifications

DOI10.1007/BF03037390zbMath0603.68014OpenAlexW1969894701MaRDI QIDQ1082803

Masato Takeichi

Publication date: 1986

Published in: New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

denotational semanticstypecheckingdenotational specificationspolymorphic typesemantics implementation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05)

Cites Work

• Unnamed Item
• Basic polymorphic typechecking
• A theory of type polymorphism in programming
• Edinburgh LCF. A mechanized logic of computation
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Inserting injection operations to denotational specifications