Inferring type rules for syntactic sugar.

Justin Pombrio, Shriram Krishnamurthi

Browse the full PLDI paper archive.