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

(15:46)

[ICFP24] Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts

(16:41)

[ICFP24] Call-By-Unboxed-Value

(16:23)

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

(8:37:55)

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

(7:59:57)

[ICFP24] Requirements are All You Need

(1:2:19)

[ICFP24] Capabilities for Control

(1:4:20)

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

(16:21)

[ICFP24] Contextual Typing

(18:32)

[ICFP24] Example-Based Reasoning About the Realizability Of Polymorphic Programs

(15:28)

[ICFP24] Synchronous Programming with Refinement Types

(17:56)

[ICFP24] Student Research Competition

(28:23)

[ICFP24] Parallel Algebraic Effect Handlers

(18:33)

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

(18:22)

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

(41:59)

[ICFP24] Oxidizing OCaml with Modal Memory Management

(17:11)

[ICFP24] On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs

(15:45)

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

(8:5:13)

[ICFP24] Functional Programming in Financial Markets (Experience Report)

(18:38)