Principles of Programming Languages
Principles of Programming Languages. Lecture 04 Types and Polymorphism. Types. What is a type? An equivalence class of objects/values Denotational view: a type is a set (of values): Pascal type weekday = (sun, mon, tue, wed, thu, fri, sat);
421 views • 26 slides