Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog John C. Reynolds, 1935-2013