[POPL'25] Marco Polo - POPL II (24th Jan)

(8:56:51)

[POPL'25] Peek A Boo - POPL I (24th Jan)

(9:4:52)

[POPL'24] Effectful Software Contracts

(20:40)

2025 01 21 Janka a Peter Poláček Trinásta komnata časť 18 1

(2:1:26)

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

(1:20:5)

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

(1:12:5)

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

(1:14:26)

PopLove 4 | ♫ MASHUP OF 2015 | By Robin Skouteris (64 songs)

(11:10)

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

(1:19:16)

Manifesting the Lifestyle of Your Higher Self

(9:5)

POP SMOKE - FLEXING

(2:17)

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

(21:17)

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

(18:15)

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

(19:1econd)

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

(19:9)

[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)

[POPL'24] Mechanizing Refinement Types

(20:26)

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

(21:19)

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

(21:14)

[POPL'24] Fusing Direct Manipulations into Functional Programs

(18:15)