default search action

combined dblp search
author search
venue search
publication search

ask others

Erlang Workshop 2020: Virtual Event, USA

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/2020
Annette Bieniusa, Viktória Fördós:
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020. ACM 2020, ISBN 978-1-4503-8049-2
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BereczkyHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BereczkyHT20
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
Machine-checked natural semantics for Core Erlang: exceptions and side effects. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/0001B020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/0001B020
Peter Zeller, Annette Bieniusa, Carla Ferreira:
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. 14-23
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/PoorTB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/PoorTB20
Boldizsár Poór, Melinda Tóth, István Bozó:
Transformations towards clean functional code. 24-30
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/Fordos20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/Fordos20
Viktória Fördós:
Secure design and verification of Erlang systems. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/FacorroC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/FacorroC20
Juan Facorro, Natalia Chechina:
Clojerl: the expressive power of Clojure on the BEAM. 41-52

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.