scientific article; zbMATH DE number 2061699

zbMATH Open1039.68078MaRDI QIDQ4457445FDOQ4457445

Authors:

Publication date: 22 March 2004

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

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

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?

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (10)

• Traces, Executions and Schedulers, Coalgebraically
• Types as graphs: Continuations in type logical grammar
• A static simulation of dynamic delimited control
• Differential structure, tangent structure, and SDG
• Data types with symmetries and polynomial functors over groupoids
• The differential lambda-calculus
• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
• Title not available (Why is that?)
• Containers: Constructing strictly positive types
• 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)