Stephen Diehl
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Posts tagged
fp
Dependent Types in 200 Lines of Python
November 18, 2024
Cooking Logics with Soufflé
February 1, 2024
Exotic Programming Ideas, Part 2 (Term Rewriting)
March 8, 2021
Exotic Programming Ideas, Part 4 (Datalog)
March 4, 2021
Exotic Programming Ideas, Part 3 (Effect Systems)
March 3, 2021
Exotic Programming Ideas, Part 1 (Module Systems)
March 1, 2021
A Haskell Reading List
August 15, 2012
View all tags