scientific article; zbMATH DE number 2061699

MaRDI QIDQ4457445zbMATH OpenFDO

Authors

Publication date 22 March 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2701/27010016.htm

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2182485
• scientific article; zbMATH DE number 1956503
• Higher-order containers
• When is a container a comonad?
• When is a container a comonad?

Cited in

(11)

• Types as graphs: Continuations in type logical grammar
• The differential lambda-calculus
• Differential structure, tangent structure, and SDG
• A static simulation of dynamic delimited control
• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
• Containers: Constructing strictly positive types
• Traces, Executions and Schedulers, Coalgebraically
• Data types with symmetries and polynomial functors over groupoids
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• Container types categorically
• Multi-dimensional arrays with levels

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