[pldi'23] efficient parallel functional programming with effects
Published 5 months ago • 121 plays • Length 20:34Download video MP4
Download video MP3
Similar videos
-
17:05
[pldi'23] fuzzing loop optimizations in compilers for c and data-parallel languages
-
16:49
[pldi'23] purecake: a verified compiler for a lazy functional language
-
18:28
[pldi'23] an automata-based framework for verification and bug hunting in quantum circuits
-
20:24
[pldi'23] proving and disproving equivalence of functional programming assignments
-
20:07
[pldi'23] verified density compilation for a probabilistic programming language
-
31:19
[ppdp23] termination in concurrency, revisited
-
29:59
[icfp'23] fp²: fully in-place functional programming
-
11:34
[session previews @ popl'23] types ii
-
23:30
[pldi'23] cakes that bake cakes: dynamic computation in cakeml
-
28:00
[ppdp23] type-directed program transformation for constant-time enforcement