proceedings of the 20th Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming : August 31-September 2, 2015, Vancouver, British Columbia, Canada