Verifying and Synthesizing Constant-Resource Implementations with Types | IEEE Conference Publication | IEEE Xplore