Functional Languages Are The Minimum
What would you ask Simon Peyton Jones?
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
8 months of OCaml after 8 years of Haskell in production
Monad (functional programming) - Wikipedia
Lambda Calculus vs. Turing Machines (Theory of Computation)
If "category" has a better name....
Understanding the Type of call/cc
"Propositions as Types" by Philip Wadler
How to convert imperative side-effectful program to functional (in Ocaml)?
How I learned Haskell in just 15 years - duckrabbit solutions
Learn Lambda Calculus in 10 minutes with OCaml
Using Ocaml to learn FP. What FP concepts should I touch on?
Concepts of Functional Programming
Functional Classes (2023)
15-150: Principles of Functional Programming
Gopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
Fearless Tinkering with Nix
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Fearless Tinkering is Functional
