Inferring Type Rules for Syntactic Sugar

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