[oopsla] monadic and comonadic aspects of dependency analysis
Published 1 year ago • 238 plays • Length 16:59Download video MP4
Download video MP3
Similar videos
-
![[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism](https://i.ytimg.com/vi/nR1Cm_a7seY/mqdefault.jpg)
16:59
[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism
-
1:10
object constraint language
-
1:18:46
applicative: the forgotten functional pattern in c - ben deane - cppnow 2023
-
![[oopsla23] when concurrency matters: behaviour-oriented concurrency](https://i.ytimg.com/vi/iX8TJWonbGU/mqdefault.jpg)
15:36
[oopsla23] when concurrency matters: behaviour-oriented concurrency
-
1:29:53
david sankel: monoids, monads, and applicative functors: repeated software patterns
-
![[oopsla23] languages with decidable learning: a meta-theorem](https://i.ytimg.com/vi/U1LP0nkYPcM/mqdefault.jpg)
17:32
[oopsla23] languages with decidable learning: a meta-theorem
-
1:24:13
tomáš petříček: the origins of monadic and comonadic computations
-
![[oopsla23] an explanation method for models of code](https://i.ytimg.com/vi/VocHyFF4pJo/mqdefault.jpg)
17:09
[oopsla23] an explanation method for models of code
-
1:54
ocaml in 90 seconds
-
![[oopsla] unirec: a unimodular-like framework for nested recursions and loops](https://i.ytimg.com/vi/0ga5RU1ILkM/mqdefault.jpg)
30:41
[oopsla] unirec: a unimodular-like framework for nested recursions and loops
-
47:19
icm2014 videoseries il15.4: annalisa buffa on aug18mon
-
![[oopsla] neurosymbolic repair for low-code formula languages](https://i.ytimg.com/vi/bYb6FIUM-VI/mqdefault.jpg)
24:41
[oopsla] neurosymbolic repair for low-code formula languages
-
![[oopsla23] explainable program synthesis by localizing specifications](https://i.ytimg.com/vi/pTePKCyX4nA/mqdefault.jpg)
16:32
[oopsla23] explainable program synthesis by localizing specifications