[ICFP24] Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis

(17:7)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP24] ICFP Contest Results

(25:37)

[ICFP24] Refinement Composition Logic

(16:55)

[ICFP24] Synchronous Programming with Refinement Types

(17:56)

[ICFP24] Contract Lenses: Reasoning about Bidirectional Programs via Calculation

(15:46)

[PLMW @ ICFP24] Welcome

(6:55)

[ICFP24] Closure-Free Functional Programming in a Two-Level Type Theory

(16:37)

[ICFP24] Parallel Algebraic Effect Handlers

(18:33)

[ICFP24] A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts,(…)

(16:21)

[ICFP24] Abstracting Effect Systems for Algebraic Effect Handlers

(19:21)

[ICFP24] Knuth–Morris–Pratt illustrated (JFP Functional Pearls)

(18:28)

[ICFP24] Refinement Types from Light to Deep Verification

(1:26)

[ICFP24] Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)

(20:6)

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

(17:4)

[ICFP'24] Green - ICFP Papers and Events (Sep 5th)

(7:59:57)

[ICFP24] Abstract Interpreters: a Monadic Approach to Modular Verification

(18:44)

[FProPer24] From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…)

(1:30:57)