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

(7:59:57)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

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

(7:25:39)

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

(8:37:55)

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

(41:59)

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

(9:13:25)

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

(8:53:56)

[ICFP24] ICFP Contest Results

(25:37)

[ICFP'24] Orange 2 - OCaml (Sep 7th)

(9:2:48)

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

(8:22:17)

[ICFP'24] Green - Business Meeting (Sep 4th)

(1:49:42)

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

(8:5:13)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP'24] Meeting 4 - FProPer (Sep 6th)

(9:36:3)

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

(18:36)

[ICFP'24] Meeting 6 - FUNARCH (Sep 6th)

(8:27:30)

[PLMW @ ICFP24] Welcome

(6:55)

[ICFP'24] Meeting 3 - FARM (Sep 2nd)

(6:23:40)