没有找到引用Typed memory management in a calculus of capabilities的文章。