Robert S 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.
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.