Adolfo Neto

A Gradual Type System for Elixir Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera Now on Arxiv. https://arxiv.org/abs/2104.08366 #MyElixirStatus #WeBeamTogether

Two papers to add to https://erlef.org/academic-papers/

1

CauDEr: A Causal-Consistent Reversible Debugger for Erlang https://link.springer.com/chapter/10.1007/978-3-319-90686-7_16 [A theory of reversibility for Erlang](https://www.sciencedirect.com/science/article/pii/S2352220817301402)

Example: http://www.icaromedeiros.com.br/

Resources should not be under companies

It was not a good idea to use Wiki

Sua empresa usa Elixir, Erlang ou alguma linguagem que roda na BEAM em produção?

1

Se sua empresa usa Elixir, Erlang ou alguma linguagem que roda na BEAM em produção, responda assim: ``` - Linguagens: Elixir - [NomedaEmpresa](http://sitedaempresa.com.br) - Cidades: Curitiba, São Paulo ``` Resultados...

- Link: https://arxiv.org/abs/2203.08877 - Authors: Lucas Francisco da Matta Vegi, Marco Tulio Valente - Free - English

- Link: https://link.springer.com/article/10.1007/s10664-023-10343-6 - Authors; Lucas Francisco da Matta Vegi & Marco Tulio Valente - Language: English - Temporary free link: https://rdcu.be/dgk4A