Close
Top Videos
Top Searches
Moods
Black Lives Matter
Chill
Christmas
Commute
Energy boosters
Feel-Good
Focus
Party
Pride
Romance
Sad
Sleep
Workout
Genres
African
Arabic
Blues
Bollywood & Indian
Christian & Gospel
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
Hip-hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and Soul
Reggae and Caribbean
Rock
Soundtracks and musicals
Eliminating Bugs with Dependent Haskell (Experience Report)
22:48
|
Download MP3
Related Videos
[SPLASH'24] IBR West - OOPSLA (Oct 24)
[SPLASH'24] IBR East - OOPSLA (Oct 24th)
[SPLASH'24] Pasadena - SPLASH-E (Oct 24th)
[SPLASH'24] Pacific - Onward! (Oct 24th)
[SPLASH'24] San Gabriel - OOPSLA (Oct 24th)
9:02:40
[SPLASH'24] Pacific A - LIVE (Oct 21th)
1:23:16
[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)
8:10:17
[SPLASH'24] San Gabriel - SAS (Oct 21th)
1:12:09
[SPLASH'24] IBR - OOPSLA Keynote (Oct 23th)
7:29:06
[SPLASH'24] San Gabriel - SAS (Oct 22th)
8:59:44
[SPLASH'24] Pacific B - IWACO (Oct 21th)
7:39:14
[SPLASH'24] Pacific - Onward! (Oct 23th)
6:54:22
[SPLASH'24] IBR West - OOPSLA (Oct 23)
2:15:37
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM) - PM
8:27:58
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM) - AM
4:20
[SPLASH'24] IBR West - OOPSLA
7:39:31
[SPLASH'24] Pasadena - REBASE (Oct 23th)
1:01:28
ACM@UIUC SIGPLAN - Type Theory - 1 (Lambda Calculus)
8:52:51
[SPLASH'24] IBR East - SLE (Oct 21th)
9:13:25
[ICFP'24] Orange 3 - Haskell (Sep 7th)
![[SPLASH'24] Pacific A - LIVE (Oct 21th)](https://netaquatics.co.za/images/blank.png)
9:02:40 1:23:16 8:10:17 1:12:09 7:29:06 8:59:44 7:39:14 6:54:22 2:15:37 8:27:58 4:20 7:39:31 1:01:28 8:52:51 9:13:25
![[SPLASH'24] IBR West - OOPSLA (Oct 24)](https://i.ytimg.com/vi/61pSgLgXZP4/mqdefault.jpg)
![[SPLASH'24] IBR East - OOPSLA (Oct 24th)](https://i.ytimg.com/vi/-DYe8Fi78sg/mqdefault.jpg)
![[SPLASH'24] Pasadena - SPLASH-E (Oct 24th)](https://i.ytimg.com/vi/IrUh5AgIYKE/mqdefault.jpg)
![[SPLASH'24] Pacific - Onward! (Oct 24th)](https://i.ytimg.com/vi/5wRjUwlIdxg/mqdefault.jpg)
![[SPLASH'24] San Gabriel - OOPSLA (Oct 24th)](https://i.ytimg.com/vi/ltA6hQAdhSw/mqdefault.jpg)
![[SPLASH'24] Pacific A - LIVE (Oct 21th)](https://i.ytimg.com/vi/4GOeYylCMJI/mqdefault.jpg)
![[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)](https://i.ytimg.com/vi/WjBDtrqFde4/mqdefault.jpg)
![[SPLASH'24] San Gabriel - SAS (Oct 21th)](https://i.ytimg.com/vi/F6a0SatXWmU/mqdefault.jpg)
![[SPLASH'24] IBR - OOPSLA Keynote (Oct 23th)](https://i.ytimg.com/vi/lvnD-R6sviA/mqdefault.jpg)
![[SPLASH'24] San Gabriel - SAS (Oct 22th)](https://i.ytimg.com/vi/yOzqdhYouUU/mqdefault.jpg)
![[SPLASH'24] Pacific B - IWACO (Oct 21th)](https://i.ytimg.com/vi/qOb2OYimabA/mqdefault.jpg)
![[SPLASH'24] Pacific - Onward! (Oct 23th)](https://i.ytimg.com/vi/-Br66SUjsdQ/mqdefault.jpg)
![[SPLASH'24] IBR West - OOPSLA (Oct 23)](https://i.ytimg.com/vi/LTXQdRu2S4Q/mqdefault.jpg)
![[SPLASH'24] IBR West - OOPSLA](https://i.ytimg.com/vi/2aOFB7wKeU8/mqdefault.jpg)
![[SPLASH'24] Pasadena - REBASE (Oct 23th)](https://i.ytimg.com/vi/_VF3pISRYRc/mqdefault.jpg)
![[SPLASH'24] IBR East - SLE (Oct 21th)](https://i.ytimg.com/vi/aG7CdxmGCkg/mqdefault.jpg)
![[ICFP'24] Orange 3 - Haskell (Sep 7th)](https://i.ytimg.com/vi/uMurx1a6Zck/mqdefault.jpg)