Michael Codish Eijiro Sumii Preface for special section from FLOPS 2014. e14 2016 26 J. Funct. Program. https://doi.org/10.1017/S0956796816000149 db/journals/jfp/jfp26.html#CodishS16