David MacQueen
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.
citation
For significant research contributions in type theory and programming language design, especially for work on the design and implementation of Standard ML.