[popl'24] modular denotational semantics for effects with guarded interaction trees
Published 6 months ago • 84 plays • Length 21:19Download video MP4
Download video MP3
Similar videos
-
![[popl'24] ill-typed programs don't evaluate](https://i.ytimg.com/vi/B-CPdJIK-60/mqdefault.jpg)
19:11
[popl'24] ill-typed programs don't evaluate
-
![[popl'24] explicit effects and effect constraints in reml](https://i.ytimg.com/vi/447M7267JQE/mqdefault.jpg)
20:38
[popl'24] explicit effects and effect constraints in reml
-
![[popl'24] mechanizing refinement types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
20:26
[popl'24] mechanizing refinement types
-
![[popl 2021] persevere: persistency semantics for verification under ext4 (full)](https://i.ytimg.com/vi/T8UEifIYDoc/mqdefault.jpg)
27:52
[popl 2021] persevere: persistency semantics for verification under ext4 (full)
-
![[popl'24] on model-checking higher-order effectful programs](https://i.ytimg.com/vi/8g2PqP7Q2uo/mqdefault.jpg)
21:05
[popl'24] on model-checking higher-order effectful programs
-
![[popl'24] effectful software contracts](https://i.ytimg.com/vi/__F3ML62xd8/mqdefault.jpg)
20:40
[popl'24] effectful software contracts
-
![[popl'24] a new perspective on commutativity in verification](https://i.ytimg.com/vi/S_lYmWWZD2w/mqdefault.jpg)
58:23
[popl'24] a new perspective on commutativity in verification
-
![[popl'24] polymorphic type inference for dynamic languages](https://i.ytimg.com/vi/dYJ9DB5ySwU/mqdefault.jpg)
21:04
[popl'24] polymorphic type inference for dynamic languages
-
![[popl'24] efficient matching of regular expressions with lookaround assertions](https://i.ytimg.com/vi/ZfdAkJNNK_I/mqdefault.jpg)
21:14
[popl'24] efficient matching of regular expressions with lookaround assertions
-
![[popl'24] soundly handling linearity](https://i.ytimg.com/vi/sHGrKEoWtm8/mqdefault.jpg)
15:52
[popl'24] soundly handling linearity
-
![[popl'24] answer refinement modification: refinement type system for algebraic effects and...](https://i.ytimg.com/vi/S4XojkWuEtY/mqdefault.jpg)
22:52
[popl'24] answer refinement modification: refinement type system for algebraic effects and...
-
![[plmw@popl'24] the evolution of effects](https://i.ytimg.com/vi/3CcAxhMw0-c/mqdefault.jpg)
55:08
[plmw@popl'24] the evolution of effects
-
![[popl'24] when subtyping constraints liberate: a novel type inference approach for first-c...](https://i.ytimg.com/vi/jDhSUuvxomY/mqdefault.jpg)
21:33
[popl'24] when subtyping constraints liberate: a novel type inference approach for first-c...
-
![[popl'24] disentanglement with futures, state, and interaction](https://i.ytimg.com/vi/m8-EnnteBg8/mqdefault.jpg)
19:42
[popl'24] disentanglement with futures, state, and interaction
-
![[popl 2021] a graded dependent type system with a usage-aware semantics (full)](https://i.ytimg.com/vi/yrwtXrey7mE/mqdefault.jpg)
31:06
[popl 2021] a graded dependent type system with a usage-aware semantics (full)
-
![[popl'22] the leaky semicolon: compositional semantic dependencies for relaxed-memory conc](https://i.ytimg.com/vi/XLblh1mKmP4/mqdefault.jpg)
19:32
[popl'22] the leaky semicolon: compositional semantic dependencies for relaxed-memory conc
-
![[popl'24] polynomial time and dependent types](https://i.ytimg.com/vi/u2UcApiJA1Q/mqdefault.jpg)
20:02
[popl'24] polynomial time and dependent types
-
21:45
familial monads and structural operational semantics