CS 355 – PROGRAMMING LANGUAGES Dr. X. Topics Pointer and Reference Types Type Checking Strong Typing Type Equivalence Theory and Data Types.