scientific article; zbMATH DE number 587794

zbMATH Open0820.68036MaRDI QIDQ4295355FDOQ4295355

Authors: Rachel Harrison 

Publication date: 12 June 1994

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

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

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)

Cited In (6)

• Codatatypes in ML
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Encoding types in ML-like languages
• Class-diagrams for abstract data types

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)