Robert Cartwright

ACM Fellows

USA - 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.