Calculate categorically!

DOI10.1007/BF03180568zbMath0774.18003OpenAlexW2912180130MaRDI QIDQ1203123

Maarten M. Fokkinga

Publication date: 4 February 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03180568

zbMATH Keywords

category theoryfunctional programmingdiagram chasingalgebraic calculationinitiality

Mathematics Subject Classification ID

General topics in the theory of software (68N01) General theory of categories and functors (18A99)

Related Items (1)

Categorical fixed point calculus

Cites Work

• Data structures and program transformation
• Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
• Category theory and computer science. Edinburgh, U.K., September 7--9, 1987. Proceedings
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Calculate categorically!