Papers tagged static type inference