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) (1988)
• Lectures on Constructive Functional Programming (1988)
• Algegraic Identities for Program Calculation (1989)
• The Algebra of Programming (1996)
• Algorithm Design with Haskell (2020)
• Bird-Meertens Formalism (BMF)
• The School of Squiggol: A History of BMF (2019)
• Single Assignment C (SaC)