Charlotte Lorelei De Oliveira
where else to find them
no profile links on file
what they talk about
where they keep going back
- ElixirConf EU Virtual2 editions2020–2020
on a stage with
never shared a talk
who talks about the same things
- Zeeshan Lakhani3 talks
- Quinn Wilton4 talks
- Robert Virding23 talks
- Peter Thiemann15 talks
- Matthias Felleisen10 talks
- Ambrose Bonnaire-Sergeant5 talks
| title | conference | date |
|---|---|---|
| Types and Erlang from Dialyzer to (...) | ElixirConf EU 2024 | 2024-04-18 |
Erlang already uses Dialyzer’s success typing and a gradual type approach that prove definite mistakes (not full correctness); examples show Dialyzer infers… | ||
| Types and Erlang from Dialyzer to (...) | ElixirConf EU Virtual 2020 | 2020-10-07 |
Dialyzer works as a gradual success-typing analyzer that proves concrete mistakes (not full correctness), infers shapes like “params must be a map” and flags… | ||
| Types and Erlang: from Dialyzer to(...) | ElixirConf EU Virtual 2020 (June) | 2020-06-18 |
Explains why strict typing fails for Erlang: hot code swapping, asynchronous message passing and process identifiers that can point to anything break… | ||
| How does fault tolerance work in Erlang | Code BEAM Lite Munich 2018 | 2018-12-07 |
Erlang processes are C-level records with a pid, mailbox, process dictionary, stack and heap so each process has its own memory and when it dies its memory is… | ||
| nothing matches | ||