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

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 30 minutes 9 seconds ACM SIGPLAN [Erlang24] Controlled Scheduling of Concurrent Elixir Programs YT 40 minutes 27 seconds ACM SIGPLAN [Erlang24] The Benefits of Tierless Elixir/Potato for Engineering IoT Systems YT 24 minutes 1 second ACM SIGPLAN [Erlang24] Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception(…)

YT 25 minutes 42 seconds ACM SIGPLAN [Erlang24] Is this really a refactoring? Automated equivalence checking for Erlang projects YT 30 minutes 41 seconds ACM SIGPLAN [Erlang24] Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors YT 23 minutes 35 seconds ACM SIGPLAN [Erlang24] Erla+: Translating TLA+ Models into Executable Actor-Based Implementations

YT 29 minutes 14 seconds ACM SIGPLAN [Erlang24] Same same but different: A Comparative Analysis of Static Type Checkers in Erlang YT 32 minutes 41 seconds ACM SIGPLAN [Erlang24] Unsafe Impedance: safe languages and safe by design software