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

categorical semanticsspecificationsketch theoryabstract data typegeneralized algebraic data type

Mathematics Subject Classification ID

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

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

(5)

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

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)