Justin Pombrio and Shriram Krishnamurthi
The paper
The full version of the paper
The artifact: https://github.com/brownplt/judgmental-resugaring/releases/tag/v1.1