Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
Browse the full ICFP paper archive.