Link to preprints for ICFP'17 and colocated events - View it on GitHub