Designing a programming language for local reasoning and (...) by Robin H. Hansen | Lambda Days 2023

Code Sync - Designing a programming language for local reasoning and (...) by Robin H. Hansen | Lambda Days 2023