Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog POPL 2014 proceedings available freely for all