http://www.info.kochi-tech.ac.jp/FLOPS2016/#accepted

Accepted at the Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) on March 3-6 2016, Kochi, Janpan

Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John Gallagher and Manuel V. Hermenegildo (IMDEA Software Institute and Roskilde University)