Andrew Pitts

Digital Library
photo
Award Winner
Andrew Pitts

ACM Fellows

United Kingdom - 2012

citation

For contributions to the theory of programming language semantics.