Free Applicative Functors

zbMath1464.68053arXiv1403.0749MaRDI QIDQ4995159

Ambrus Kaposi, Paolo Capriotti

Publication date: 23 June 2021

Full work available at URL: https://arxiv.org/abs/1403.0749

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Functional programming and lambda calculus (68N18)

Related Items (4)

Breadth-first traversal via staging ⋮ Build systems à la carte: Theory and practice ⋮ A representation theorem for second-order functionals ⋮ Notions of computation as monoids

This page was built for publication: Free Applicative Functors