24:01 [Erlang24] Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception(…) ACM SIGPLAN
25:42 [Erlang24] Is this really a refactoring? Automated equivalence checking for Erlang projects ACM SIGPLAN
23:35 [Erlang24] Erla+: Translating TLA+ Models into Executable Actor-Based Implementations ACM SIGPLAN
29:14 [Erlang24] Same same but different: A Comparative Analysis of Static Type Checkers in Erlang ACM SIGPLAN
