Home
authors
Andrew Fawcet
Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities
JDala - A Simple Capability System for Java
Dafny vs. Dala: Experience with Mechanising Language Design
Michael Homer — 2026
b0231a86