ICFP Workshops 2020
25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)
Powered by
Conference Publishing Consulting
19th ACM SIGPLAN International Workshop on Erlang (Erlang 2020), August 23, 2020, Virtual Event, USA

Erlang 2020 – Proceedings

 Contents - Abstracts - Authors

19th ACM SIGPLAN International Workshop on Erlang (Erlang 2020)

Frontmatter

Title Page
Article: icfpws20erlangforeword-fm000-p doi:
Message from the Chairs
Article: icfpws20erlangforeword-fm001-p doi:

Papers

Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Péter Bereczky, Dániel Horpácsi, and Simon J. Thompson
(Eötvös Loránd University, Hungary; University of Kent, UK)
Publisher's Version Article: icfpws20erlangmain-p39-p doi:10.1145/3406085.3409008
Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Peter Zeller, Annette Bieniusa, and Carla Ferreira
(TU Kaiserslautern, Germany; Nova University of Lisbon, Portugal)
Publisher's Version Article: icfpws20erlangmain-p72-p doi:10.1145/3406085.3409009
Transformations towards Clean Functional Code
Boldizsár Poór, Melinda Toth, and István Bozó
(Eötvös Loránd University, Hungary)
Publisher's Version Article: icfpws20erlangmain-p82-p doi:10.1145/3406085.3409010
Secure Design and Verification of Erlang Systems
Viktória Fördős
(Cisco Systems, Sweden)
Publisher's Version Article: icfpws20erlangmain-p93-p doi:10.1145/3406085.3409011
Clojerl: The Expressive Power of Clojure on the BEAM
Juan Facorro and Natalia Chechina
(Bournemouth University, UK)
Publisher's Version Article: icfpws20erlangmain-p99-p doi:10.1145/3406085.3409012

proc time: 0.01