Higher-order containers

DOI10.1007/978-3-642-13962-8_2MaRDI QIDQ3576186zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Thorsten Altenkirch, Paul Blain Levy, Sam Staton

Publication date 29 July 2010

Published in Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13962-8_2

zbMATH Keywords

category theorydatatypesfunctional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1956503
• Containers: Constructing strictly positive types
• Complexity bounds for container functors and comonads
• Container combinatorics: monads and lax monoidal functors
• When is a container a comonad?

Cited in

(21)

• Complexity bounds for container functors and comonads
• Container combinatorics: monads and lax monoidal functors
• Containers: Constructing strictly positive types
• When is a container a comonad?
• When is a container a comonad?
• Higher order architecture of collections of objects
• scientific article; zbMATH DE number 5360218 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 2061699 (Why is no real title available?)
• Container types categorically
• scientific article; zbMATH DE number 6981655 (Why is no real title available?)
• Directed containers as categories
• Indexed containers
• Container model
• CHAD for expressive total languages
• Stabilized profunctors and stable species of structures
• Polynomials in homotopy type theory as a Kleisli category
• Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
• Comodule representations of second-order functionals
• Free extensivity via distributivity
• Data types with symmetries via action containers

This page was built for publication: Higher-order containers

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