Gordon Plotkin

Digital Library

ACM Fellows

United Kingdom - 2020

citation

For contributions to the science of programming languages, particularly their operational and denotational semantics

Press Release