[POPL 2021] A Separation Logic for Effect Handlers (full)

(25:21)

[POPL 2021] The (In)Efficiency of Interaction (full)

(21:18)

[POPL 2021] Keynote: \

(1:11:4)

[POPL 2021] Keynote: \

(56:20)

[POPL 2021] CoqPL: Record Updates in Coq

(10:18)

[POPL 2021] A Pre-Expectation Calculus for Probabilistic Sensitivity (full)

(29:9)

[POPL 2021] Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient (full)

(19:27)

[POPL 2021] Keynote: \

(1:1:46)

[POPL 2021] Welcome to Copenhagen, where everything's perfect, as it always is!

(13:44)

AI 2.0 - Czy Agenci AI to przyszłość świata Krypto?

(49:10)

[POPL'24] Flowers - PROPL (Jan 20)

(9:8:32)

Popl VS Dot VS Linq!! (In Depth Comparison) *WHICH IS BEST??*

(18:14)

Per Martin Löf: How did 'judgement' come to be a term of logic ?

(1:30:6)

Is Popl Worth It??

(7:32)

New Popl Pro!! Whats New?!? *WHY YOU NEED POPL!*

(8:49)

Niels Richard Hansen: Cyclic graphical models and causal learning

(1:1:58)

New Popl XL Unboxing and Review!! *You Need This*

(7:48)

[POPL 2021] Dijkstra Monads Forever (full)

(25:7)

[POPL 2021] A Verified Optimizer for Quantum Circuits (full)

(28:30)

[POPL 2021] Data Flow Refinement Type Inference (full)

(23:45)

POPL 2021 Announcement

(6:18)

[POPL 2021] PLMW: \

(45:45)

[POPL 2021] Asynchronous Effects (full)

(25:20)

[POPL 2021] CoqPL: Verifying a compiler through equational means

(1:6:7)

[POPL 2021] PLMW: \

(51:59)

[POPL 2021] Fully Abstract from Static to Gradual (full)

(26:56)

[POPL 2021] Provably Space Efficient Parallel Functional Programming (full)

(23:32)