[pldi'23] purecake: a verified compiler for a lazy functional language Published 6 months ago • 233 plays • Length 16:49 Download video MP4 Download video MP3 Similar videos 23:30 [pldi'23] cakes that bake cakes: dynamic computation in cakeml 12:48 🔴 a surprising result ? - fnirsi dso-tc3 esr measurement testing - no.1273 3:31 discover: fan-out wafer-level packaging | cea-leti 1:31 when your card declines at therapy 0:10 when your card declines at the doctors 🤣
![[pldi'23] cakes that bake cakes: dynamic computation in cakeml](https://i.ytimg.com/vi/TZO-NVomNGY/mqdefault.jpg)
