16:41 [ICFP24] Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts ACM SIGPLAN
17:49 [ICFP24] The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along(…) ACM SIGPLAN
16:21 [ICFP24] A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts,(…) ACM SIGPLAN
17:04 [ICFP24] Level-p-complexity of Boolean functions using thinning, memoization, and polynomials ACM SIGPLAN
18:36 [ICFP24] A correct-by-construction conversion from lambda calculus to combinatory logic (JFP(…) ACM SIGPLAN
