Youtop Video Search

Home / Tag / Popl 26 Higher Order Behavioural Conform

popl26 higher order behavioural conformances via fibrations
14 | 26:44 | 2026-02-02

popl26 handling higher order effectful operations with judgemental monadic laws
24 | 25:25 | 2026-02-02

popl26 rows and capabilities as modal effects
52 | 25:03 | 2026-02-02

popl26 foundational multi modal program verifiers
15 | 24:16 | 2026-02-02

popl26 typing strictness
119 | 26:31 | 2026-02-02

popl26 the relative monadic metalanguage
63 | 26:55 | 2026-02-02

popl26 medium scale automation for proof assistants
80 | 09:38 | 2026-02-02

popl26 a complementary approach to incorrectness typing
22 | 29:46 | 2026-02-02

popl26 di is for directed first order directed type theory via dinaturality
28 | 25:29 | 2026-02-02

popl26 domain theoretic semantics for functional logic programming
26 | 25:38 | 2026-02-02

popl26 typedis a type system for disentanglement
34 | 24:10 | 2026-02-02

popl26 local contextual type inference
155 | 23:49 | 2026-02-02

popl26 characterizing sets of theories that can be disjointly combined
10 | 25:23 | 2026-02-02

popl26 all for one and one for all program logics for exploiting internal determinism in
33 | 24:56 | 2026-02-02

popl26 parametrised verification of intel x86 programs
25 | 25:20 | 2026-02-02

popl26 a verified high performance composable object library for remote direct memory access
10 | 22:43 | 2026-02-02

popl26 a modular static cost analysis for gpu warp level parallelism
20 | 24:48 | 2026-02-02

this is how a narcissist thinks
518362 | 00:46 | 2024-02-23

adhd vs non adhd
4116498 | 00:28 | 2025-02-23

what my depression feels like
805646 | 00:21 | 2024-02-23