Login / Signup

Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.

Sébastien CarlierJ. B. Wells
Published in: PPDP (2004)
Keyphrases