Talk 17:00

A lightweight DSL to generate verifiable Elixir GenServer Systems

Name: A lightweight DSL to generate verifiable Elixir GenServer Systems
Description: 'A lightweight DSL to generate verifiable Elixir GenServer Systems'

'A lightweight DSL to generate verifiable Elixir GenServer Systems'

Watch on YouTube

Speakers

Dominik Katkó

Computer Science student

Recorded at

Lambda Days 2025

Krakow, Poland

January 30, 2025