Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
Latest Publications

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By ACM

9781450380492
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Clojerl: the expressive power of Clojure on the BEAM

2020 ◽  
Author(s):  
Juan Facorro ◽  
Natalia Chechina
Keyword(s):  
Expressive Power

scholarly journals Machine-checked natural semantics for Core Erlang: exceptions and side effects

2020 ◽  
Author(s):  
Péter Bereczky ◽  
Dániel Horpácsi ◽  
Simon J. Thompson
Keyword(s):  
Side Effects

Transformations towards clean functional code

2020 ◽  
Author(s):  
Boldizsár Poór ◽  
Melinda Toth ◽  
István Bozó
Keyword(s):  
Functional Code

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+

2020 ◽  
Author(s):  
Peter Zeller ◽  
Annette Bieniusa ◽  
Carla Ferreira
Keyword(s):  
Distributed Algorithms
Load More ...
Sign in / Sign up

Export Citation Format

Share Document