a unified view of modalities in type systems (icfp 2020)
Published 3 years ago • 115 plays • Length 12:00Download video MP4
Download video MP3
Similar videos
-
14:14
recovering purity with comonads and capabilities (icfp 2020)
-
15:00
kinds are calling conventions (icfp 2020)
-
1:58:01
icfp 2020 session ny 1
-
![[icfp'23] modular models of monoids with operations](https://i.ytimg.com/vi/PFXPnMS_DeY/mqdefault.jpg)
28:19
[icfp'23] modular models of monoids with operations
-
30:55
ebpf for observability: the good, the bad, and the ugly - anna kapuscinska, isovalent
-
1:30:44
tutorial: demystifying cilium: learn how to build an ebpf cni plugin from scratch - adam sayah
-
19:01
do we still need to “observe”? the future of ai & observability - guy menahem & niv yungelson
-
14:57
kindly bent to free us (icfp 2020)
-
2:28:01
icfp 2020 session ny 5
-
2:28:01
icfp 2020 session ny 2
-
![[conflang23] the configuration continuum: using a unified model of configuration to preven...](https://i.ytimg.com/vi/U_BdxEtHJDA/mqdefault.jpg)
21:32
[conflang23] the configuration continuum: using a unified model of configuration to preven...
-
![[icfp'22] deep programmability: a new lens on networking](https://i.ytimg.com/vi/-zlYVrRxPUE/mqdefault.jpg)
46:44
[icfp'22] deep programmability: a new lens on networking
-
![[icfp'22] structural versus pipeline composition of… (experience report)](https://i.ytimg.com/vi/GsWNrO9dJ4A/mqdefault.jpg)
14:07
[icfp'22] structural versus pipeline composition of… (experience report)
-
2:28:01
icfp 2020 session asia 2
-
![[icfp'22] monadic compiler calculation (functional pearl)](https://i.ytimg.com/vi/fjsbxVxWJ1o/mqdefault.jpg)
15:22
[icfp'22] monadic compiler calculation (functional pearl)
-
![[icfp’23] vashon 2](https://i.ytimg.com/vi/9G6bIqcanZM/mqdefault.jpg)
3:46:00
[icfp’23] vashon 2