[POPL'22] Software Model-Checking as Cyclic-Proof Search

(26:37)

[POPL'25] Peek A Boo - POPL I (22nd Jan)

(9:31:12)

[POPL'25] Marco Polo - POPL II (22nd Jan)

(9:40:42)

[POPL'22] Type-Level Programming with Match Types

(23:8)

[POPL'22] Dependently-Typed Data Plane Programming

(21:41)

[POPL'22] A Cost-Aware Logical Framework

(22:52)

[POPL'22] Coalgebra for the working programming languages researcher

(58:14)

[POPL'22] A Separation Logic for Heap Space under Garbage Collection

(18:45)

2025 Ultimate Smart Business Card for Teams - Popl, Linq, Wave, Dot Card

(17:10)

Wszystko o co CHCESZ ZAPYTAĆ TRENERA

(1:31)

The 379 page proof that 1+1=2

(16:43)

4K 60FPS PS5 Gameplay - Astro's Playroom With ALL ARTEFACTS UNLOCKED!

(6:4)

Ultimate Smart Business Card Comparison for 2023 - OVOU, Mobilo, Wave, Linq, mTap, Popl

(25:18)

Theories, Solvers and Static Analysis by Abstract Interpretation

(1:16:20)

[POPL'22] TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Pr

(24:19)

Abstract Interpretation With Professor Patrick Cousot | Lecture Series on AI #11 | J.P. Morgan

(1:32:45)

[WITS'22] Make Three To Throw Away: Frontiers in Homotopical Proof Assistants

(48:33)

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

(24:43)

[POPL'25] Marco Polo - CPP (21th Jan)

(9:32:32)

[POPL'22] Tutorial: Data-driven program analysis

(59:21)

[POPL'22] Semantics for Variational Quantum Programming

(23:58)

[POPL'22] A Relational Theory of Effects and Coeffects

(24:36)

[POPL'22] Gradualizing the Calculus of Inductive Constructions

(23:32)

[POPL'22] Logarithm and Program Testing

(23:15)

[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs

(19:42)

[POPL'22] A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantu

(20:7)

[POPL'22] Oblivious Algebraic Data Types

(22:34)

[POPL'22] Relational E-matching

(25:50)

[POPL'22] Safe, Modular Packet Pipeline Programming

(28:7)

[POPL'22] Certifying Derivation of State Machines from Coroutines

(17:52)