_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9410 subscribers    RSS
View channel on YouTube Videos Playlists

YT 35 minutes 39 seconds ACM SIGPLAN [HOPE24] Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads YT 29 minutes 28 seconds ACM SIGPLAN [HOPE24] Mechanized monadic equational reasoning for ML references YT 28 minutes 57 seconds ACM SIGPLAN [HOPE24] Arrows as applicatives in a monad

YT 28 minutes 45 seconds ACM SIGPLAN [HOPE24] Paella: algebraic effects with parameters and their handlers YT 29 minutes 10 seconds ACM SIGPLAN [HOPE24] Logical Relations for Effect Capabilities YT 30 minutes 41 seconds ACM SIGPLAN [HOPE24] Effectful Assembly Programming with AsmFX

YT 30 minutes 41 seconds ACM SIGPLAN [HOPE24] Towards a linear functional translation for borrowing YT 31 minutes 23 seconds ACM SIGPLAN [HOPE24] An Incremental Approach to the Semantics of Borrowing YT 28 minutes 30 seconds ACM SIGPLAN [HOPE24] Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers

YT 1 hour 7 minutes 1 second ACM SIGPLAN [HOPE24] An introduction to synthetic guarded domain theory with applications to probabilistic(…)