scientific article; zbMATH DE number 4111987

MaRDI QIDQ3835006zbMATH OpenFDO

Authors Seyed-Kazem Lellahi

Publication date 1989

Full work available at URL https://eudml.org/doc/193026

zbMATH Keywords

abstract data typecategorical semanticsgeneralized algebraic data typesketch theoryspecification

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Categorical data types in parametric polymorphism
• A note on categorical datatypes
• Categorical Data Structures for Technical Computing
• Categorical aspects of data type constructors
• Categorical specification and implementation of replicated data types
• Data types in distributive categories
• scientific article; zbMATH DE number 918294
• Publication:3026326
• Abstractions of data types

Cited in

(6)

• Categorical aspects of data type constructors
• Sketches and computations over fields.
• scientific article; zbMATH DE number 4050960 (Why is no real title available?)
• A formalism for the specification of essentially-algebraic structures in 2-categories
• scientific article; zbMATH DE number 918294 (Why is no real title available?)
• Codatatypes in ML

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