Erlang

Publications

2024

Lee Barney, Adolfo Neto
Unsafe Impedance: Safe Languages and Safe by Design Software. Erlang (2024)
Carla Rodríguez Estévez, Laura M. Castro
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production. Erlang (2024)
Marian Hristov, Annette Bieniusa
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. Erlang (2024)
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 Erlang (2024)
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, Tobias Wrigstad
Nominal Types for Erlang. Erlang (2024)
John Högberg
Modeling Erlang Compiler IR as SMT Formulas. Erlang (2024)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Controlled Scheduling of Concurrent Elixir Programs. Erlang (2024)
Jonah Pears, Laura Bocchi, Raymond Hu
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. Erlang (2024)
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, Adrian Ramsingh
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems. Erlang (2024)
Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. Erlang (2024)
Bendegúz Seres, Dániel Horpácsi, Simon J. Thompson
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. Erlang (2024)
Madeleine Malmsten
Environmentally Sustainable Software and Data Architectures (Keynote). Erlang (2024)