Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Xavier Leroy will receive the Royal Society's 2016 Milner Award