Kiko Fernandez-Reyes
where else to find them
no profile links on file
what they talk about
where they keep going back
- Erlang2 editions2023–2025
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Closing Remarks | Erlang 2025 | 2025-10-12 |
Brief closing that thanks authors presenters and attendees and acknowledges the ICFP organizers while naming sponsors Airline Ecosystem Foundation Ericson Dash… | ||
| Welcome to Erlang’25 | Erlang 2025 | 2025-10-12 |
Workshop opens with concrete counts and a packed schedule: eight submissions, five accepted, and three projected. Sessions present mechanized formal semantics… | ||
| Welcome to the Erlang Workshop | Erlang 2023 | 2023-09-04 |
Workshop overview presents a small program with 5 submissions, 4 accepted and an even split of 50% research and 50% experience reports. The program covers BEAM… | ||
| Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom | Onward! 2021 | 2021-10-20 |
Dala is a dynamic capability model that guarantees data-race freedom for safe objects while allowing unsafe objects to coexist. It defines three… | ||
| Developing a Monadic Type Checker for an Object-Oriented Language | SLE 2019 | 2019-10-20 |
An experience report describes building the Encore compiler front end in Haskell, a codebase of 15,000 lines of Haskell with roughly 7,000 lines for the type… | ||
| nothing matches | ||