| |
Bereczky, Péter
|
Erlang '20: "Machine-Checked Natural Semantics ..."
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)
@InProceedings{Erlang20p1,
author = {Péter Bereczky and Dániel Horpácsi and Simon J. Thompson},
title = {Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406085.3409008},
year = {2020},
}
 Publisher's Version
Article: icfpws20erlangmain-p39-p doi:10.1145/3406085.3409008
|
| |
Bieniusa, Annette |
Erlang '20: "Teaching Practical Realistic ..."
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)
@InProceedings{Erlang20p13,
author = {Peter Zeller and Annette Bieniusa and Carla Ferreira},
title = {Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3406085.3409009},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p72-p doi:10.1145/3406085.3409009
|
| |
Bozó, István |
Erlang '20: "Transformations towards Clean ..."
Transformations towards Clean Functional Code
Boldizsár Poór, Melinda Toth, and István Bozó
(Eötvös Loránd University, Hungary)
@InProceedings{Erlang20p25,
author = {Boldizsár Poór and Melinda Toth and István Bozó},
title = {Transformations towards Clean Functional Code},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3406085.3409010},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p82-p doi:10.1145/3406085.3409010
|
| |
Chechina, Natalia
|
Erlang '20: "Clojerl: The Expressive Power ..."
Clojerl: The Expressive Power of Clojure on the BEAM
Juan Facorro and Natalia Chechina
(Bournemouth University, UK)
@InProceedings{Erlang20p49,
author = {Juan Facorro and Natalia Chechina},
title = {Clojerl: The Expressive Power of Clojure on the BEAM},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3406085.3409012},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p99-p doi:10.1145/3406085.3409012
|
| |
Facorro, Juan
|
Erlang '20: "Clojerl: The Expressive Power ..."
Clojerl: The Expressive Power of Clojure on the BEAM
Juan Facorro and Natalia Chechina
(Bournemouth University, UK)
@InProceedings{Erlang20p49,
author = {Juan Facorro and Natalia Chechina},
title = {Clojerl: The Expressive Power of Clojure on the BEAM},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3406085.3409012},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p99-p doi:10.1145/3406085.3409012
|
| |
Ferreira, Carla |
Erlang '20: "Teaching Practical Realistic ..."
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)
@InProceedings{Erlang20p13,
author = {Peter Zeller and Annette Bieniusa and Carla Ferreira},
title = {Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3406085.3409009},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p72-p doi:10.1145/3406085.3409009
|
| |
Fördős, Viktória |
Erlang '20: "Secure Design and Verification ..."
Secure Design and Verification of Erlang Systems
Viktória Fördős
(Cisco Systems, Sweden)
@InProceedings{Erlang20p37,
author = {Viktória Fördős},
title = {Secure Design and Verification of Erlang Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3406085.3409011},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p93-p doi:10.1145/3406085.3409011
|
| |
Horpácsi, Dániel
|
Erlang '20: "Machine-Checked Natural Semantics ..."
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)
@InProceedings{Erlang20p1,
author = {Péter Bereczky and Dániel Horpácsi and Simon J. Thompson},
title = {Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406085.3409008},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p39-p doi:10.1145/3406085.3409008
|
| |
Poór, Boldizsár
|
Erlang '20: "Transformations towards Clean ..."
Transformations towards Clean Functional Code
Boldizsár Poór, Melinda Toth, and István Bozó
(Eötvös Loránd University, Hungary)
@InProceedings{Erlang20p25,
author = {Boldizsár Poór and Melinda Toth and István Bozó},
title = {Transformations towards Clean Functional Code},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3406085.3409010},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p82-p doi:10.1145/3406085.3409010
|
| |
Thompson, Simon J.
|
Erlang '20: "Machine-Checked Natural Semantics ..."
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)
@InProceedings{Erlang20p1,
author = {Péter Bereczky and Dániel Horpácsi and Simon J. Thompson},
title = {Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406085.3409008},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p39-p doi:10.1145/3406085.3409008
|
| |
Toth, Melinda |
Erlang '20: "Transformations towards Clean ..."
Transformations towards Clean Functional Code
Boldizsár Poór, Melinda Toth, and István Bozó
(Eötvös Loránd University, Hungary)
@InProceedings{Erlang20p25,
author = {Boldizsár Poór and Melinda Toth and István Bozó},
title = {Transformations towards Clean Functional Code},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3406085.3409010},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p82-p doi:10.1145/3406085.3409010
|
| |
Zeller, Peter
|
Erlang '20: "Teaching Practical Realistic ..."
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)
@InProceedings{Erlang20p13,
author = {Peter Zeller and Annette Bieniusa and Carla Ferreira},
title = {Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3406085.3409009},
year = {2020},
}
Publisher's Version
Article: icfpws20erlangmain-p72-p doi:10.1145/3406085.3409009
|