default search action

combined dblp search
author search
venue search
publication search

ask others

Erlang Workshop 2024: Milan, Italy

> Home > Conferences and Workshops > Erlang Workshop

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/erlang/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/2024
Kiko Fernandez-Reyes, Adriana Laura Voinea:
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024. ACM 2024, ISBN 979-8-4007-1098-8
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/Malmsten24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/Malmsten24
Madeleine Malmsten:
Environmentally Sustainable Software and Data Architectures (Keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BergerSBW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BergerSBW24
Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr:
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. 2-12
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/HristovB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/HristovB24
Marian Hristov, Annette Bieniusa:
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. 13-23
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/HuangHFW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/HuangHFW24
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, Tobias Wrigstad:
Nominal Types for Erlang. 24-32
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/PearsBH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/PearsBH24
Jonah Pears, Laura Bocchi, Raymond Hu:
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. 33-44
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/Hogberg24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/Hogberg24
John Högberg:
Modeling Erlang Compiler IR as SMT Formulas. 45-54
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/SeresHT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/SeresHT24
Bendegúz Seres, Dániel Horpácsi, Simon J. Thompson:
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. 55-66
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BarrioFEHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BarrioFEHM24
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño:
Controlled Scheduling of Concurrent Elixir Programs. 67-75
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BarneyN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BarneyN24
Lee Barney, Adolfo Neto:
Unsafe Impedance: Safe Languages and Safe by Design Software. 76-83
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/LiTTLR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/LiTTLR24
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, Adrian Ramsingh:
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems. 84-95
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/EstevezC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/EstevezC24
Carla Rodríguez Estévez, Laura M. Castro:
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production. 96-107

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.