Types Antonio Cisternino Giuseppe Attardi Università di Pisa Types Computer hardware is capable of interpreting bits in memory in several different ways A type limits the…