Types John Mitchell CS 242. Type A type is a collection of computable values that share some structural property. uExamples Integers Strings int bool.
Types and Type Inference