Type-based confinement content Introduction Related work Confinement rules Formalization Generic confined types Introduction Confinement properties impose structure on object…