capDL: a language for describing capability-based systems.

Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker

Browse the full SIGCOMM paper archive.