Inferring Typing Rules for Contextual Sugars.

Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu

Browse the full PEPM paper archive.