[popl'24] on model-checking higher-order effectful programs

Published 8 months ago • 45 plays • Length 21:05

Download video MP4
Download video MP3

Similar videos

7:53

[sessionpreviews@popl'24] higher-order effectful programs: session preview
17:37

[popl'24] decalf: a directed, effectful cost-aware logical framework
18:15

[popl'24] fusing direct manipulations into functional programs
19:20

[popl'24] api-driven program synthesis for testing static typing implementations
20:40

[popl'24] effectful software contracts
28:51

[ocaml'23] metaocaml theory and implementation
8:54:07

[popl'24] turing lecture (jan 15th)
8:24

[popl'24] welcome to popl 2024
15:50

[popl'24] higher order bayesian networks, exactly
20:58

[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...
21:08

[popl'24] securing verified io programs against unverified code in f*
19:31

[popl'24] deciding asynchronous hyperproperties for recursive programs
19:33

[popl'24] trillium: higher-order concurrent and distributed separation logic for intension...
26:08

[popl'22] effectful program distancing
20:12

[popl'24] coarser equivalences for causal concurrency

Clip.africa.com - Privacy-policy