Login / Signup

Inferring type rules for syntactic sugar.

Justin PombrioShriram Krishnamurthi
Published in: PLDI (2018)
Keyphrases