Sign up to save your podcasts
Or
Share Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
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
View all episodes
By Conor Hoekstra
5
55 ratings
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
More shows like Tacit Talk
View all
Freakonomics Radio
32,100 Listeners
StarTalk Radio
14,378 Listeners
Odd Lots
1,967 Listeners
Very Bad Wizards
2,675 Listeners
The Changelog: Software Development, Open Source
289 Listeners
CppCast
106 Listeners
Talk Python To Me
583 Listeners
CoRecursive: Coding Stories
188 Listeners
ADSP: Algorithms + Data Structures = Programs
37 Listeners
The Ezra Klein Show
15,950 Listeners
ArrayCast
38 Listeners
Oxide and Friends
65 Listeners
Developer Voices
30 Listeners
Rust in Production
26 Listeners
Fallthrough
13 Listeners