Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Graydon Hoare: What next for compiled languages?