[ICFP24] Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost(…)

(19:49)

[ICFP24] Remembering Alan Jeffrey

(26:7)

[ICFP24] Memorial for D. Turner \u0026 Arvind

(50:11)

[ICFP24] ICFP Contest Results

(25:37)

[ICFP24] Snapshottable stores

(19:)

[ICFP24] Refinement Composition Logic

(16:55)

[ICFP24] How to Bake a Quantum Π

(16:52)

[PLMW @ ICFP24] My PhD Compass: 6 Ways to Guide a PhD Towards Success

(41:59)

[ICFP24] Synchronous Programming with Refinement Types

(17:56)

[ICFP24] Gradual Indexed Inductive Types

(17:3)

[ICFP24] Requirements are All You Need

(1:2:19)

[ICFP24] Normalization by evaluation for modal dependent type theory

(18:43)

[ICFP24] The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along(…)

(17:49)

[FUNARCH24] Continuations: what have they ever done for us?

(37:30)

[ICFP24] Level-p-complexity of Boolean functions using thinning, memoization, and polynomials

(17:4)

[ICFP24] Refinement Types from Light to Deep Verification

(1:26)

[ICFP24] Functional Programming in Financial Markets (Experience Report)

(18:38)

[FUNARCH24] Bidirectional Data Transformations

(45:20)

[OCaml24] A Non-allocating Option

(21:51)