Sign in
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.
Yuki Kato
Koji Nakazawa
Published in:
WFLP (2009)
Keyphrases
</>
type checking
management system
data types
database query languages