David MacQueen

Digital Library

ACM Fellows

USA - 1999

citation

For significant research contributions in type theory and programming language design, especially for work on the design and implementation of Standard ML.