Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog CFP: Off-the-Beaten-Track (OBT) workshop at POPL 2015