scientific article; zbMATH DE number 937839

MaRDI QIDQ4896682zbMATH OpenFDO

Authors Ioan Alfred Leţia, Robert Dollinger

Publication date 22 October 1996

zbMATH Keywords

data type declaration mechanism

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Codatatypes in ML
• Witnessing (co)datatypes
• scientific article; zbMATH DE number 4047683
• A note on categorical datatypes
• Strong categorical datatypes II: A term logic for categorical programming

Cited in

(1)

• 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 Q4896682)