scientific article; zbMATH DE number 4111987

zbMATH Open0678.68014MaRDI QIDQ3835006FDOQ3835006

Authors: Seyed-Kazem Lellahi 

Publication date: 1989

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

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

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

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)

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.
• Title not available (Why is that?)

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)