Type-Safe Dynamic Update Transaction | IEEE Conference Publication | IEEE Xplore