Hygienic resugaring of compositional desugaring.

Justin Pombrio, Shriram Krishnamurthi

Browse the full ICFP paper archive.