scientific article; zbMATH DE number 1088048

zbMATH Open0888.03016MaRDI QIDQ4364397FDOQ4364397

Authors: Robert Harper, Lars Birkedal 

Publication date: 17 November 1997

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Type-directed specialization of polymorphism.
• Free theorems and runtime type representations
• Title not available (Why is that?)
• Typed Relational Conversion
• Relational interpretations of recursive types in an operational setting.
• Title not available (Why is that?)

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)