ICFP 2017 Adjunct Proceedings
ACM Digital Library