Top Videos
Top Searches
Mood & Genres
Autumn
Black Lives Matter
Chill
Christmas
Commute
Energy boosters
Feel-Good
Focus
Party
Romance
Sad
Sleep
Workout
African
Arabic
Blues
Bollywood & Indian
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
German Hip-Hop
German Pop
Hip-Hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and Soul
Reggae and Caribbean
Rock
Schlager
Soundtracks and musicals
REPLica: REPL Instrumentation for Coq Analysis
23:45
|
Download MP3
Related Videos
[SPLASH'24] Pacific C - VMIL (Oct 20th)
Binary Rewriting without Control Flow Recovery
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM) - PM
This is Still PLDI
[SPLASH'24] Pacific A - LIVE (Oct 21th)
ACM and Climate Change
State of SIGPLAN
FARM 2021 - ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Full
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM) - AM
Typed Dataspace Actors
Brazilian researcher won the ACM SIGPLAN John Vlissides Award 2012
Effect Handlers for the Masses
[ICFP'24] Orange 3 - Haskell (Sep 7th)
[PLDI24] AI-Assisted Programming Today and Tomorrow
[SPLASH'24] IBR - OOPSLA Keynote (Oct 25th)
[ICFP'24] Green - ICFP Papers and Events (Sep 4th)
[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses
[ICFP'24] Green - ICFP Papers and Events (Sep 5th)
[Haskell'23] An Exceptional Actor System (Functional Pearl)
[POPL'24] SIGPLAN Awards, PC Chair's Report, and Business Meeting
About
FAQ
DMCA
Disclaimer
Privacy
Terms
Contact
Article
Tubidy
© 2024 Tubidy
![[SPLASH'24] Pacific C - VMIL (Oct 20th)](https://i.ytimg.com/vi/VgDt_dkI70Q/mqdefault.jpg)
![[SPLASH'24] Pacific A - LIVE (Oct 21th)](https://i.ytimg.com/vi/4GOeYylCMJI/mqdefault.jpg)
![[ICFP'24] Orange 3 - Haskell (Sep 7th)](https://i.ytimg.com/vi/uMurx1a6Zck/mqdefault.jpg)
![[PLDI24] AI-Assisted Programming Today and Tomorrow](https://i.ytimg.com/vi/A6VKh9ReaBk/mqdefault.jpg)
![[SPLASH'24] IBR - OOPSLA Keynote (Oct 25th)](https://i.ytimg.com/vi/xVFXGIKzTnU/mqdefault.jpg)
![[ICFP'24] Green - ICFP Papers and Events (Sep 4th)](https://i.ytimg.com/vi/F70QZaMoYJQ/mqdefault.jpg)
![[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses](https://i.ytimg.com/vi/hkiy1rmKA48/mqdefault.jpg)
![[ICFP'24] Green - ICFP Papers and Events (Sep 5th)](https://i.ytimg.com/vi/PaUfiXDZiqw/mqdefault.jpg)
![[Haskell'23] An Exceptional Actor System (Functional Pearl)](https://i.ytimg.com/vi/pqTUtTyZZxU/mqdefault.jpg)
![[POPL'24] SIGPLAN Awards, PC Chair's Report, and Business Meeting](https://i.ytimg.com/vi/up7OJgLL5uo/mqdefault.jpg)