[ICFP24] Contextual Typing

(18:32)

[ICFP24] ICFP Contest Results

(25:37)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

[HOPE24] Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers

(28:30)

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

(18:28)

[ICFP24] Refinement Composition Logic

(16:55)

[PLMW @ ICFP24] Welcome

(6:55)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP24] The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing(…)

(18:22)

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

(7:59:57)

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

(16:21)

[ICFP'24] Meeting 4 - Scheme (Sep 7th)

(8:37:55)

[ICFP'24] Orange 2 - HOPE (Sep 2nd)

(8:53:56)

[TyDe24] How Novices Perceive Interactive Theorem Provers (Extended Abstract)

(22:55)

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

(8:5:13)

[HOPE24] An Incremental Approach to the Semantics of Borrowing

(31:23)

[HOPE24] An introduction to synthetic guarded domain theory with applications to probabilistic(…)

(1:7:1econd)