1. Context Qualified Types (or CQ Types) provide a mechanism for CQ Types to simultaneously specify 1) a computer program data type (e.g., an “int” or “float” data type) and 2) knowledge of or constraints on the program design, building and generation process (e.g., specify a ...