Derivatives of containers

DOI10.1007/3-540-44904-3_2MaRDI QIDQ4457445zbMATH OpenFDO

Authors Michael Barry Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride

Publication date 22 March 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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
• Categories of containers
• 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
• Categories of containers
• Container types categorically
• Multi-dimensional arrays with levels

This page was built for publication: Derivatives of containers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457445)