ICNFP 2014 proceedings