[ICFP24] ICFP Contest Results

(25:37)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

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

(7:59:57)

[PLMW @ ICFP24] Welcome

(6:55)

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

(15:46)

[ICFP'24] Orange 3 - Haskell (Sep 6th)

(7:25:39)

[ICFP'24] Orange 3 - Haskell (Sep 7th)

(9:13:25)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP24] Call-By-Unboxed-Value

(16:23)

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

(8:37:55)

[ICFP24] Student Research Competition

(28:23)

[ICFP24] A correct-by-construction conversion from lambda calculus to combinatory logic (JFP(…)

(18:36)

[ICFP24] Specification and Verification for Unrestricted Algebraic Effects and Handling

(19:32)

[PLMW @ ICFP24] How to read a research paper

(49:38)

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

(8:5:13)

[ICFP24] Synchronous Programming with Refinement Types

(17:56)

[ICFP24] Remembering Alan Jeffrey

(26:7)