A list of applications using E or other object-capability languages, or applications for reasoning about object-capability code.
There are 7 articles in this category.