scientific article; zbMATH DE number 1088048

MaRDI QIDQ4364397zbMATH OpenFDO

Authors Robert Harper, Lars Birkedal

Publication date 17 November 1997

zbMATH Keywords

domain modeltype systemoperational semanticsoperational equivalencerelational interpretationsimply typed fragment of ML

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Relational interpretations of recursive types in an operational setting.
• Syntactic logical relations for polymorphic and recursive types
• An operational domain-theoretic treatment of recursive types
• Relational Reasoning for Recursive Types and References
• Typed Relational Conversion

Cited in

(6)

• Type-directed specialization of polymorphism.
• Free theorems and runtime type representations
• scientific article; zbMATH DE number 512954 (Why is no real title available?)
• Typed Relational Conversion
• Relational interpretations of recursive types in an operational setting.
• scientific article; zbMATH DE number 1231621 (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 Q4364397)