Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.

Published in: WFLP (2009)

Keyphrases