Correct by Construction Concurrent Programs in Idris 2 (bobkonf2025)
Chaos Computer Club - archive feed · CCC media team
March 14, 202544m 31s
Audio is streamed directly from the publisher (cdn.media.ccc.de) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.