EPISODE · Mar 18, 2026 · 29 MIN
Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦
from Tacit Talk · host Conor Hoekstra
In this episode, the "From List Calculus to Array Calculi" (generated by GPT 5.4) is read by the Speechify text-to-speech app.SocialsTacit Talk YouTube PlaylistConor Hoekstra: LinkTree / BioShow NotesDate Released: 2026-03-18From List Calculus to Array CalculiAn 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
What this episode covers
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 PlaylistConor Hoekstra: LinkTree / BioShow Notes Date Released: 2026-03-18 From List Calculus to Array CalculiAn 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 o...
NOW PLAYING
Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦
No transcript for this episode yet
Similar Episodes
Feb 8, 2026 ·4m
Jan 30, 2026 ·6m
Dec 15, 2025 ·2m
Nov 30, 2025 ·5m
Oct 26, 2025 ·14m
Oct 26, 2025 ·61m