Resugaring: lifting evaluation sequences through syntactic sugar.

Justin Pombrio, Shriram Krishnamurthi

Browse the full PLDI paper archive.