scientific article; zbMATH DE number 3854400

MaRDI QIDQ3323252zbMATH OpenFDO

Authors Christopher T. Haynes

Publication date 1984

zbMATH Keywords

denotational semanticsextended polymorphic \(\lambda\)- calculusrepresentation independenceTypeL

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• State-dependent representation independence
• scientific article; zbMATH DE number 1759637
• Flexible representation analysis
• Do-it-yourself type theory
• scientific article; zbMATH DE number 1722660

Cited in

(7)

• Non-deterministic data types: Models and implementations
• A theory for program and data type specification
• scientific article; zbMATH DE number 193310 (Why is no real title available?)
• Datatype laws without signatures
• Abstract datatypes for real numbers in type theory
• State-dependent representation independence
• The semantics of second-order lambda calculus

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 Q3323252)