This is a formalization of the paper "Types for Atomicity" by Flanagan and Qadeer