Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦

In this episode, the "From List Calculus to Array Calculi" (generated by GPT 5.4) is read by the Speechify text-to-speech app.

Socials

• Tacit Talk YouTube Playlist
• Conor Hoekstra: LinkTree / Bio

Show Notes

Date Released: 2026-03-18

• From List Calculus to Array Calculi
• An Introduction to the Theory of Lists (1986)
• Mathematics of Arrays (MoA)
• The Algebra of Programming (1996)
• Algegraic Identities for Program Calculation (1989)
• Algorithm Design with Haskell (2020)
• Bird-Meertens Formalism (BMF)
• The School of Squiggol: A History of BMF (2019)
• Single Assignment C (SaC)
• Lectures on Constructive Functional Programming