ACM SIGPLAN - [POCL'24] Proving capability safety in the presence of indirect sentries
Sign in to continue reading, translating and more.
