Home
authors
Tobias Wrigstad
Dafny vs. Dala: Experience with Mechanising Language Design
Dala: A Simple Capability-Based Dynamic Language Design For Data-Race Freedom
Michael Homer — 2026
b0231a86