Ángel Herranz
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- Erlang4 editions2021–2024
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Logic Programming with Extensible Types (Lightning talk) | PADL 2025 | 2025-01-20 |
Claim: Haskell code gains logic programming by a compile time extensible types par transformation that turns algebraic types into term types with optional… | ||
| Checking Concurrency Coding Rules | PADL 2025 | 2025-01-20 |
Combines execution tracing with declarative rule checks to catch concurrency faults: traces are collected with bitman into a Prolog fact store, unit tests are… | ||
| Controlled Scheduling of Concurrent Elixir Programs | Erlang 2024 | 2024-09-02 |
Library implements a user-level scheduler for Elixir that instruments KV-style calls via the Elixir macro facility and exposes scheduling algorithms: random… | ||
| Generation and Refinement of Testing Models | Erlang 2023 | 2023-09-04 |
Faktory is an Elixir library that generates executable Makina state-machine models from Corsa-annotated APIs, mapping each public function to a command and… | ||
| Executable Contracts for Elixir | Erlang 2022 | 2022-09-11 |
A small Elixir library implements executable contracts by macro-transforming code and runs pre/post checks, exception specifications and timers; it catches the… | ||
| Makina: A New QuickCheck State Machine Library | Erlang 2021 | 2021-08-26 |
Makina is an Elixir library that reimplements QuickCheck-style state machines as macros and claims earlier error detection, less boilerplate and easier reuse… | ||
| nothing matches | ||