scientific article; zbMATH DE number 7779296

zbMath1525.68014arXiv2207.00852MaRDI QIDQ6068938

Unnamed Author, Unnamed Author, Mauro Jaskelioff

Publication date: 15 December 2023

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• Unnamed Item
• Notions of computation and monads
• (Co)end Calculus
• Categorical semantics for arrows
• Notions of computation as monoids
• Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
• A representation theorem for second-order functionals
• Advanced Functional Programming
• Applicative programming with effects
• On closed categories of functors

This page was built for publication: