[gambit-list] ICFP 2016 Call for Papers