homepages/59/1360 conf/pldi/TristanGM11 conf/tldi/NanevskiGM09 conf/icfp/NanevskiMSGB08 conf/icfp/RamseyFG05