For leadership in the computer science community and contributions to functional programming languages.

[Fellows]   [Awards]