Home
tags
dala
Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities
Dafny vs. Dala: Experience with Mechanising Language Design
Michael Homer — 2026
b0231a86