[POPL'24] Effectful Software Contracts

(20:40)

[POPL'24] Total Type Error Localization and Recovery with Holes

(21:17)

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

(20:4)

[POPL'24] A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verifie...

(20:58)

Ep 25: Pop The Balloon Or Find Love | With Arlette Amuli

(1:12:5)

Ep 18: Pop The Balloon Or Find Love | With Arlette Amuli

(1:20:5)

Ep 22: Pop The Balloon Or Find Love | With Arlette Amuli

(1:19:16)

Ep 36: Pop The Balloon Or Find Love | With Arlette Amuli

(1:47:36)

Ep 26: Pop The Balloon Or Find Love | With Arlette Amuli

(1:14:26)

2024 St. Louis Open | MPO FINAL 10 | Scott, Hancock, Chevalier, Johnson

(35:9)

2024 Ultimate Digital Business Card - Dot Card, Popl, OVOU, Linq, Wave, Mobilo

(24:43)

POP SMOKE - FLEXING

(2:17)

[POPL'24] Solving Infinite-State Games via Acceleration

(19:1econd)

[POPL'24] Validation of Modern JSON Schema: Formalization and Complexity

(19:9)

[POPL'24] Guided Equality Saturation

(21:21)

[POPL'24] Efficient Matching of Regular Expressions with Lookaround Assertions

(21:14)

[POPL'24] Fusing Direct Manipulations into Functional Programs

(18:15)

[POPL'24] A Core Calculus for Documents: Or, Lambda: The Ultimate Document

(20:10)

[POPL'24] Indexed Types for a Statically Safe WebAssembly

(18:15)

[POPL'24] Modular Denotational Semantics for Effects with Guarded Interaction Trees

(21:19)

[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...

(21:33)

[POPL'24] Polynomial Time and Dependent types

(20:2)

[POPL'24] Internal parametricity, without an interval

(19:22)