Fellow
United States – 1998
CITATION

Cartwright formulated a series of landmark results concerning the principles of programming languages, i.e., the theory of data, types, and computability in sequential, higher-order languages.