How much is in a square? Calculating functional programs with squares

DOI10.1017/S0956796825000012MaRDI QIDQ7009020zbMATH OpenFDO

Authors J. N. Oliveira

Publication date 20 March 2025

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Functional programming and lambda calculus (68N18)

Cites work

• scientific article; zbMATH DE number 1670816 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 3378527 (Why is no real title available?)
• A tutorial on the universality and expressiveness of fold
• Algorithm design with Haskell
• Bidirectionalization for free! (Pearl)
• Calculating Invariants as Coreflexive Bisimulations
• Conjugate hylomorphisms -- or: the mother of all structured recursion schemes
• Extended Static Checking by Calculation Using the Pointfree Transform
• Fixed Points of Order Preserving Multifunctions
• Folding left and right matters: Direct style, accumulators, and continuations
• Google's MapReduce programming model - Revisited
• Isotone relations and the fixed point property for posets
• Just do it
• Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory
• Notions of computation and monads
• Programming from Galois connections
• Programs for cheap!
• Safety of abstract interpretations for free, via logical relations and Galois connections
• Secure communications over insecure channels
• Temporal algebra
• Why adjunctions matter -- a functional programmer perspective

This page was built for publication: How much is in a square? Calculating functional programs with squares

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