Double applicative functors
From MaRDI portal
Publication:1623145
DOI10.1007/978-3-030-02508-3_18zbMath1464.68064OpenAlexW2896307737MaRDI QIDQ1623145
Publication date: 23 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_18
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) General theory of categories and functors (18A99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
This page was built for publication: Double applicative functors