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

Workshop Erlang 2020 – Author Index

Contents - Abstracts - Authors

B C F H P T Z

Bereczky, Péter Erlang '20: "Machine-Checked Natural Semantics ..."
Bieniusa, Annette Erlang '20: "Teaching Practical Realistic ..."
Bozó, István Erlang '20: "Transformations towards Clean ..."
Chechina, Natalia Erlang '20: "Clojerl: The Expressive Power ..."
Facorro, Juan Erlang '20: "Clojerl: The Expressive Power ..."
Ferreira, Carla Erlang '20: "Teaching Practical Realistic ..."
Fördős, Viktória Erlang '20: "Secure Design and Verification ..."
Horpácsi, Dániel Erlang '20: "Machine-Checked Natural Semantics ..."
Poór, Boldizsár Erlang '20: "Transformations towards Clean ..."
Thompson, Simon J. Erlang '20: "Machine-Checked Natural Semantics ..."
Toth, Melinda Erlang '20: "Transformations towards Clean ..."
Zeller, Peter Erlang '20: "Teaching Practical Realistic ..."

12 authors

proc time: 1.28