Simon Thompson
where else to find them
github:simonjohnthompson
what they talk about
all 6 in the filters
where they keep going back
- Erlang2 editions2024–2025
on a stage with
all 6 in the filters
who talks about the same things
- Quinn Wilton4 talks
- Jan Ouwens10 talks
- Claudia Doppioslash8 talks
- Shashi2 talks
- Nelson Morris2 talks
- Ulf Wiger6 talks
| title | conference | date |
|---|---|---|
| Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang | Erlang 2025 | 2025-10-12 |
Derives a runnable Erlang interpreter by extracting Gallina functions from a Coq mechanised semantics of Core Erlang into Haskell, applying three extraction… | ||
| Is this really a refactoring? Automated equivalence checking for Erlang projects | Erlang 2024 | 2024-09-02 |
EquivcheckEr compares old and new versions of changed Erlang functions by running them on randomly generated inputs and only reports concrete counterexamples… | ||
| Refactoring via the Language Server Protocol | Code BEAM America 2022 | 2022-11-03 |
Implements Wrangler refactorings inside the Erlang Language Server so editors get Wrangler via Erlang LS using LSP JSON-RPC messages; uses code actions… | ||
| Marlowe: financial contracts on Blockchain | Code Mesh LDN 2019 | 2019-11-07 |
A small embedded Marlowe DSL in Haskell defines an executable small‑step semantics that runs as a single Plutus contract on a UTxO Cardano testbed; it includes… | ||
| nothing matches | ||