Source: wikibot/philip-wadler

= Philip Wadler
{wiki=Philip_Wadler}