scientific article; zbMATH DE number 587794

MaRDI QIDQ4295355zbMATH OpenFDO

Authors Rachel Harrison

Publication date 12 June 1994

zbMATH Keywords

algorithmsmodularityabstract data typesencapsulationstandard MLmeta language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• Abstract data type systems
• Specification of abstract data types
• Abstractions of data types
• scientific article; zbMATH DE number 3900135
• scientific article; zbMATH DE number 47959
• scientific article; zbMATH DE number 1759393
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• scientific article; zbMATH DE number 3936490
• Abstract Data Types and Type Theory: Theories as Types

Cited in

(6)

• Codatatypes in ML
• scientific article; zbMATH DE number 1696885 (Why is no real title available?)
• Encoding types in ML-like languages
• scientific article; zbMATH DE number 47959 (Why is no real title available?)
• Class-diagrams for abstract data types
• scientific article; zbMATH DE number 1479621 (Why is no real title available?)

Describes a project that uses

Uses Software

• Modula

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