[ICFP24] Gradual Indexed Inductive Types

(17:3)

[ICFP24] Static Blame for gradual typing

(18:30)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

[ICFP24] ICFP Contest Results

(25:37)

[ICFP'23] How to Evaluate Blame for Gradual Types, Part 2

(29:43)

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

(17:7)

[ICFP24] Remembering Alan Jeffrey

(26:7)

[ICFP'22] A Reasonably Gradual Type Theory

(15:51)

[PLDI24] Quest Complete: The Holy Grail of Gradual Security

(21:42)

[PLMW @ ICFP24] Welcome

(6:55)

[ICFP24] Synchronous Programming with Refinement Types

(17:56)

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

(16:37)

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

(16:21)

[ICFP24] Normalization by evaluation for modal dependent type theory

(18:43)

[ICFP24] Compiled, Extensible, Multi-language DSLs (Functional Pearl)

(18:51)

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

(18:28)

[ICFP24] Student Research Competition

(28:23)