[plmw@popl'24] the evolution of effects

Published 7 months ago • 370 plays • Length 55:08

Download video MP4
Download video MP3

Similar videos

44:16

[plmw@popl'24] consider collaboration
17:05

[plmw@popl'24] opening
42:12

[plmw@popl'24] how to give a talk
18:55

[popl'24] predictive monitoring against pattern regular languages
20:00

[popl'24] capturing types (toplas)
36:49

[plmw@pldi24] a tour of program optimization
9:15:13

[popl'24] kelvin room (jan 18th)
13:44

[popl 2021] welcome to copenhagen, where everything's perfect, as it always is!
1:35:26

the standard model (hep-sm) 9 of 24
17:37

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

[popl'24] calculational design of [in]correctness transformational program logics by abstr...
17:12

[plmw @ popl'23] introduction
20:04

[popl'24] optimal program synthesis via abstract interpretation
58:51

[padl'24] modular higher-order effects
20:38

[popl'24] explicit effects and effect constraints in reml
7:33

[sessionpreviews@popl'24] types 2: session preview
21:05

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

[popl'24] decision and complexity of dolev-yao hyperproperties
10:53

[sessionpreviews@popl'24] medley: session preview
45:45

[popl 2021] plmw: "making your way in a changing world" by sophia drossopoulou
19:22

[popl'24] internal parametricity, without an interval

Clip.africa.com - Privacy-policy