Functional Programming Simplifies Reasoning – Juhana Helovuo
Functional programming. Reasoning about types and code (hors série)
This is a Better Way to Understand Recursion
Beyond Purity and Functions: The Real Reason FP Matters - Haemin Yoo | Lambda Days 2025
Lee Naish - Equational Reasoning and Intended Semantics in Functional Programming
Equational Reasoning in Programming
[POPL'23] Grisette: Symbolic Compilation as a Functional Programming Library
The 3 Laws of Writing Readable Code
Michal Kawalec - Functional programming with bananas in barbed wire
Reasoning with function signatures - Gabriel Aubut-Lussier - CppCon 2020
Understanding Coherence in Type Systems, Especially in Haskell
Reasoning with Async Rust by Zainab Ali | Rustikon Conference 2025
Functional Programming for Business
How to Use Equational Reasoning to Reduce Expressions in Haskell
Scale By The Bay 2019 Unconference: Sergei Winitzki, Reasoning about types and code
Exploring the Power of Functional Programming: Ideal Problems to Solve
Emily Pillmore, Alexander Konovalov- Isomorphic Reasoning: Counting with Types Part 3- λC 2019
[ICFP'22] Formal Reasoning about Layered Monadic Interpreters
5 steps to solve any Dynamic Programming problem
JavaScript Tutorial #28 - Functional Programming
![[POPL'23] Grisette: Symbolic Compilation as a Functional Programming Library](https://img.youtube.com/vi/E_gNz0XLw1o/0.jpg)
![[ICFP'22] Formal Reasoning about Layered Monadic Interpreters](https://img.youtube.com/vi/w3inqhQf_MA/0.jpg)
