Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice