Type Inference

[Google Scholar]

Notes:
Papers:

Dependent type