Type annotations to improve stack-based access control | IEEE Conference Publication | IEEE Xplore