| |
Barney, Lee
|
Erlang '24: "Unsafe Impedance: Safe Languages ..."
Unsafe Impedance: Safe Languages and Safe by Design Software
Lee Barney and Adolfo Neto
(Brigham Young University-Idaho, USA; Federal University of Technology Paraná, Brazil)
@InProceedings{Erlang24p97,
author = {Lee Barney and Adolfo Neto},
title = {Unsafe Impedance: Safe Languages and Safe by Design Software},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3677995.3678196},
year = {2024},
}
 Publisher's Version
Article: icfpws24erlangmain-p77-p (type: Full Paper) doi:10.1145/3677995.3678196
|
| |
Benac Earle, Clara |
Erlang '24: "Controlled Scheduling of Concurrent ..."
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang24p85,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3677995.3678195},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p62-p (type: Full Paper) doi:10.1145/3677995.3678195
|
| |
Berger, Florian |
Erlang '24: "Same Same but Different: A ..."
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Florian Berger, Albert Schimpf, Annette Bieniusa, and Stefan Wehr
(University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)
@InProceedings{Erlang24p13,
author = {Florian Berger and Albert Schimpf and Annette Bieniusa and Stefan Wehr},
title = {Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3677995.3678189},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p1-p (type: Full Paper) doi:10.1145/3677995.3678189
|
| |
Bieniusa, Annette |
Erlang '24: "Same Same but Different: A ..."
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Florian Berger, Albert Schimpf, Annette Bieniusa, and Stefan Wehr
(University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)
@InProceedings{Erlang24p13,
author = {Florian Berger and Albert Schimpf and Annette Bieniusa and Stefan Wehr},
title = {Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3677995.3678189},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p1-p (type: Full Paper) doi:10.1145/3677995.3678189
Erlang '24: "Erla⁺: Translating TLA⁺ ..."
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations
Marian Hristov and Annette Bieniusa
(University of Kaiserslautern-Landau, Germany)
@InProceedings{Erlang24p25,
author = {Marian Hristov and Annette Bieniusa},
title = {Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3677995.3678190},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p12-p (type: Full Paper) doi:10.1145/3677995.3678190
|
| |
Bocchi, Laura |
Erlang '24: "Erlang on TOAST: Generating ..."
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Jonah Pears, Laura Bocchi, and Raymond Hu
(University of Kent, United Kingdom; Queen Mary University of London, United Kingdom)
@InProceedings{Erlang24p49,
author = {Jonah Pears and Laura Bocchi and Raymond Hu},
title = {Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3677995.3678192},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p22-p (type: Full Paper) doi:10.1145/3677995.3678192
|
| |
Bueso de Barrio, Luis Eduardo |
Erlang '24: "Controlled Scheduling of Concurrent ..."
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang24p85,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3677995.3678195},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p62-p (type: Full Paper) doi:10.1145/3677995.3678195
|
| |
Castro, Laura M.
|
Erlang '24: "Elixir-Powered Low-Income ..."
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production
Carla Rodríguez Estévez and Laura M. Castro
(Universidade da Coruña, Spain)
@InProceedings{Erlang24p121,
author = {Carla Rodríguez Estévez and Laura M. Castro},
title = {Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3677995.3680402},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p88n-p (type: Full Paper) doi:10.1145/3677995.3680402
|
| |
De Troyer, Christophe
|
Erlang '24: "The Benefits of Tierless Elixir/Potato ..."
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, and Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, United Kingdom)
@InProceedings{Erlang24p109,
author = {Solaris Li and Phil Trinder and Christophe De Troyer and Mart Lubbers and Adrian Ramsingh},
title = {The Benefits of Tierless Elixir/Potato for Engineering IoT Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3677995.3678197},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p79-p (type: Full Paper) doi:10.1145/3677995.3678197
|
| |
Fernandez-Reyes, Kiko
|
Erlang '24: "Nominal Types for Erlang ..."
Nominal Types for Erlang
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, and Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
@InProceedings{Erlang24p37,
author = {Isabell Huang and John Högberg and Kiko Fernandez-Reyes and Tobias Wrigstad},
title = {Nominal Types for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3677995.3678191},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p16-p (type: Full Paper) doi:10.1145/3677995.3678191
|
| |
Fredlund, Lars-Åke |
Erlang '24: "Controlled Scheduling of Concurrent ..."
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang24p85,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3677995.3678195},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p62-p (type: Full Paper) doi:10.1145/3677995.3678195
|
| |
Herranz, Ángel
|
Erlang '24: "Controlled Scheduling of Concurrent ..."
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang24p85,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3677995.3678195},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p62-p (type: Full Paper) doi:10.1145/3677995.3678195
|
| |
Högberg, John |
Erlang '24: "Nominal Types for Erlang ..."
Nominal Types for Erlang
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, and Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
@InProceedings{Erlang24p37,
author = {Isabell Huang and John Högberg and Kiko Fernandez-Reyes and Tobias Wrigstad},
title = {Nominal Types for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3677995.3678191},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p16-p (type: Full Paper) doi:10.1145/3677995.3678191
Erlang '24: "Modeling Erlang Compiler IR ..."
Modeling Erlang Compiler IR as SMT Formulas
John Högberg
(Ericsson, Sweden)
@InProceedings{Erlang24p61,
author = {John Högberg},
title = {Modeling Erlang Compiler IR as SMT Formulas},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3677995.3678193},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p24-p (type: Full Paper) doi:10.1145/3677995.3678193
|
| |
Horpácsi, Dániel |
Erlang '24: "Is This Really a Refactoring? ..."
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
Bendegúz Seres, Dániel Horpácsi, and Simon Thompson
(Eötvös Loránd University, Hungary; University of Kent, United Kingdom)
@InProceedings{Erlang24p73,
author = {Bendegúz Seres and Dániel Horpácsi and Simon Thompson},
title = {Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3677995.3678194},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p50-p (type: Full Paper) doi:10.1145/3677995.3678194
|
| |
Hristov, Marian |
Erlang '24: "Erla⁺: Translating TLA⁺ ..."
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations
Marian Hristov and Annette Bieniusa
(University of Kaiserslautern-Landau, Germany)
@InProceedings{Erlang24p25,
author = {Marian Hristov and Annette Bieniusa},
title = {Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3677995.3678190},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p12-p (type: Full Paper) doi:10.1145/3677995.3678190
|
| |
Hu, Raymond |
Erlang '24: "Erlang on TOAST: Generating ..."
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Jonah Pears, Laura Bocchi, and Raymond Hu
(University of Kent, United Kingdom; Queen Mary University of London, United Kingdom)
@InProceedings{Erlang24p49,
author = {Jonah Pears and Laura Bocchi and Raymond Hu},
title = {Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3677995.3678192},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p22-p (type: Full Paper) doi:10.1145/3677995.3678192
|
| |
Huang, Isabell |
Erlang '24: "Nominal Types for Erlang ..."
Nominal Types for Erlang
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, and Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
@InProceedings{Erlang24p37,
author = {Isabell Huang and John Högberg and Kiko Fernandez-Reyes and Tobias Wrigstad},
title = {Nominal Types for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3677995.3678191},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p16-p (type: Full Paper) doi:10.1145/3677995.3678191
|
| |
Li, Solaris
|
Erlang '24: "The Benefits of Tierless Elixir/Potato ..."
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, and Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, United Kingdom)
@InProceedings{Erlang24p109,
author = {Solaris Li and Phil Trinder and Christophe De Troyer and Mart Lubbers and Adrian Ramsingh},
title = {The Benefits of Tierless Elixir/Potato for Engineering IoT Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3677995.3678197},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p79-p (type: Full Paper) doi:10.1145/3677995.3678197
|
| |
Lubbers, Mart |
Erlang '24: "The Benefits of Tierless Elixir/Potato ..."
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, and Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, United Kingdom)
@InProceedings{Erlang24p109,
author = {Solaris Li and Phil Trinder and Christophe De Troyer and Mart Lubbers and Adrian Ramsingh},
title = {The Benefits of Tierless Elixir/Potato for Engineering IoT Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3677995.3678197},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p79-p (type: Full Paper) doi:10.1145/3677995.3678197
|
| |
Malmsten, Madeleine
|
Erlang '24: "Environmentally Sustainable ..."
Environmentally Sustainable Software and Data Architectures (Keynote)
Madeleine Malmsten
(Unaffiliated, Germany)
@InProceedings{Erlang24p1,
author = {Madeleine Malmsten},
title = {Environmentally Sustainable Software and Data Architectures (Keynote)},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3677995.3689456},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-key1-p (type: Keynote) doi:10.1145/3677995.3689456
|
| |
Mariño, Julio |
Erlang '24: "Controlled Scheduling of Concurrent ..."
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang24p85,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3677995.3678195},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p62-p (type: Full Paper) doi:10.1145/3677995.3678195
|
| |
Neto, Adolfo
|
Erlang '24: "Unsafe Impedance: Safe Languages ..."
Unsafe Impedance: Safe Languages and Safe by Design Software
Lee Barney and Adolfo Neto
(Brigham Young University-Idaho, USA; Federal University of Technology Paraná, Brazil)
@InProceedings{Erlang24p97,
author = {Lee Barney and Adolfo Neto},
title = {Unsafe Impedance: Safe Languages and Safe by Design Software},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3677995.3678196},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p77-p (type: Full Paper) doi:10.1145/3677995.3678196
|
| |
Pears, Jonah
|
Erlang '24: "Erlang on TOAST: Generating ..."
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Jonah Pears, Laura Bocchi, and Raymond Hu
(University of Kent, United Kingdom; Queen Mary University of London, United Kingdom)
@InProceedings{Erlang24p49,
author = {Jonah Pears and Laura Bocchi and Raymond Hu},
title = {Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3677995.3678192},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p22-p (type: Full Paper) doi:10.1145/3677995.3678192
|
| |
Ramsingh, Adrian
|
Erlang '24: "The Benefits of Tierless Elixir/Potato ..."
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, and Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, United Kingdom)
@InProceedings{Erlang24p109,
author = {Solaris Li and Phil Trinder and Christophe De Troyer and Mart Lubbers and Adrian Ramsingh},
title = {The Benefits of Tierless Elixir/Potato for Engineering IoT Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3677995.3678197},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p79-p (type: Full Paper) doi:10.1145/3677995.3678197
|
| |
Rodríguez Estévez, Carla |
Erlang '24: "Elixir-Powered Low-Income ..."
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production
Carla Rodríguez Estévez and Laura M. Castro
(Universidade da Coruña, Spain)
@InProceedings{Erlang24p121,
author = {Carla Rodríguez Estévez and Laura M. Castro},
title = {Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3677995.3680402},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p88n-p (type: Full Paper) doi:10.1145/3677995.3680402
|
| |
Schimpf, Albert
|
Erlang '24: "Same Same but Different: A ..."
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Florian Berger, Albert Schimpf, Annette Bieniusa, and Stefan Wehr
(University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)
@InProceedings{Erlang24p13,
author = {Florian Berger and Albert Schimpf and Annette Bieniusa and Stefan Wehr},
title = {Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3677995.3678189},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p1-p (type: Full Paper) doi:10.1145/3677995.3678189
|
| |
Seres, Bendegúz |
Erlang '24: "Is This Really a Refactoring? ..."
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
Bendegúz Seres, Dániel Horpácsi, and Simon Thompson
(Eötvös Loránd University, Hungary; University of Kent, United Kingdom)
@InProceedings{Erlang24p73,
author = {Bendegúz Seres and Dániel Horpácsi and Simon Thompson},
title = {Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3677995.3678194},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p50-p (type: Full Paper) doi:10.1145/3677995.3678194
|
| |
Thompson, Simon
|
Erlang '24: "Is This Really a Refactoring? ..."
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
Bendegúz Seres, Dániel Horpácsi, and Simon Thompson
(Eötvös Loránd University, Hungary; University of Kent, United Kingdom)
@InProceedings{Erlang24p73,
author = {Bendegúz Seres and Dániel Horpácsi and Simon Thompson},
title = {Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3677995.3678194},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p50-p (type: Full Paper) doi:10.1145/3677995.3678194
|
| |
Trinder, Phil |
Erlang '24: "The Benefits of Tierless Elixir/Potato ..."
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, and Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, United Kingdom)
@InProceedings{Erlang24p109,
author = {Solaris Li and Phil Trinder and Christophe De Troyer and Mart Lubbers and Adrian Ramsingh},
title = {The Benefits of Tierless Elixir/Potato for Engineering IoT Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3677995.3678197},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p79-p (type: Full Paper) doi:10.1145/3677995.3678197
|
| |
Wehr, Stefan
|
Erlang '24: "Same Same but Different: A ..."
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Florian Berger, Albert Schimpf, Annette Bieniusa, and Stefan Wehr
(University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)
@InProceedings{Erlang24p13,
author = {Florian Berger and Albert Schimpf and Annette Bieniusa and Stefan Wehr},
title = {Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3677995.3678189},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p1-p (type: Full Paper) doi:10.1145/3677995.3678189
|
| |
Wrigstad, Tobias |
Erlang '24: "Nominal Types for Erlang ..."
Nominal Types for Erlang
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, and Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
@InProceedings{Erlang24p37,
author = {Isabell Huang and John Högberg and Kiko Fernandez-Reyes and Tobias Wrigstad},
title = {Nominal Types for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3677995.3678191},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p16-p (type: Full Paper) doi:10.1145/3677995.3678191
|