[icfp'23] a well-known representation of monoids and its application to the function ‘vect...
Published 11 months ago • 80 plays • Length 25:08Download video MP4
Download video MP3
Similar videos
-
![[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
-
![[icfp'23] intrinsically typed sessions with callbacks (functional pearl)](https://i.ytimg.com/vi/Fy0AMXipmTo/mqdefault.jpg)
31:48
[icfp'23] intrinsically typed sessions with callbacks (functional pearl)
-
![[icfp’23] vashon 2](https://i.ytimg.com/vi/tRt1Rxru3T0/mqdefault.jpg)
8:22:50
[icfp’23] vashon 2
-
![[icfp'23] fifth avenue](https://i.ytimg.com/vi/n7MnRjjCrCI/mqdefault.jpg)
5:55:01
[icfp'23] fifth avenue
-
1:59
kdd 2023 -representation learning on hyper-relational and numeric knowledge graphs with transformers
-
![[icfp'23] fifth avenue](https://i.ytimg.com/vi/Rvs88m2mdig/mqdefault.jpg)
7:45:16
[icfp'23] fifth avenue
-
1:03:29
monads in modern c - georgi koyrushki and alistair fisher - accu 2023
-
25:56
can it be done? building fine-grained access control for back... - peter macdonald & anders eknert
-
30:55
ebpf for observability: the good, the bad, and the ugly - anna kapuscinska, isovalent
-
![[icfp'23] icfp 2024 announcement](https://i.ytimg.com/vi/Q-MA1qsy6cc/mqdefault.jpg)
5:01
[icfp'23] icfp 2024 announcement
-
8:00
2023cvpr autocard
-
![[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] awards](https://i.ytimg.com/vi/ShBDTsgrfT8/mqdefault.jpg)
17:56
[icfp'23] awards