Reasoning with function signatures - Gabriel Aubut-Lussier - CppCon 2020
[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back
Reasoning about types and code: Talk at SF Scala - October 17, 2019
How to Read Logic
NMR 2021: Forgetting Formulas and Signature Elements in Epistemic States
Functional programming. Reasoning about types and code (hors série)
The 3 Laws of Writing Readable Code
Function Signature in C++ programming
Functional Programming Simplifies Reasoning – Juhana Helovuo
3e Predicate Logic 2022
Quantitative Reasoning: Creating Visuals from Data
Quantitative program reasoning with graded modal types
TYPES2025 - 1.8. Yiming Xu - Geometric Reasoning in Lean from Algebraic Structures to Presheaves
Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN
Scale By The Bay 2019 Unconference: Sergei Winitzki, Reasoning about types and code
A Complete Dichotomy Rises from the Capture of Vanishing Signatures - Jin-Yi Cai
HANDSHAKE - Aptitude Problem in 2 Minutes by Mr. Manojkumar LEARN TO LEAD ACADEMY
[nyc-haskell] Doug Beardsley - Coding and Reasoning with Purity, Strong Types and Monads
Advice on learning mathematical proofs -- How to do Mathematical Proofs (PART 10)
Logika (2022-23): Predavanje 5
![[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back](https://img.youtube.com/vi/P7X5Qy9KYLU/0.jpg)
![[nyc-haskell] Doug Beardsley - Coding and Reasoning with Purity, Strong Types and Monads](https://img.youtube.com/vi/ZSJW4jp8K08/0.jpg)
