Implementing a Capability Machine Model into Iris

POPL 2020