Type checked state is known as "typestate". A Google search will bring up the typestate paper.