Implementing a Capability Machine Model into Iris

Presenter: Aina Linn Georges

Presented at PriSC'20, colocated with POPL 2020.
Implementing a Capability Machine Model into Iris
Implementing a Capability Machine Model into Iris
Implementing a Capability Machine Model into Iris

Model