filmov
tv
[ICFP'24] Meeting 6 - FUNARCH (Sep 6th)
Показать описание
ACM SIGPLAN
Рекомендации по теме
8:27:30
[ICFP'24] Meeting 6 - FUNARCH (Sep 6th)
0:29:20
[FUNARCH24] Future of FUNARCH
0:45:46
[FUNARCH24] Applying Continuous Formal Methods to Cardano
![[ICFP'24] Meeting 6](https://i.ytimg.com/vi/cX8yWBMKCO4/hqdefault.jpg)
8:27:30
![[FUNARCH24] Future of](https://i.ytimg.com/vi/URiT7mRzaCs/hqdefault.jpg)
0:29:20
![[FUNARCH24] Applying Continuous](https://i.ytimg.com/vi/uZGckHd8yW4/hqdefault.jpg)
0:45:46