Polymorphic Type Inference

@inproceedings{Leivant1983PolymorphicTI,
  title={Polymorphic Type Inference},
  author={Daniel Leivant},
  booktitle={POPL},
  year={1983}
}
The benefits of strong typing to disciplined programming, tocompile-time error detection and to program verification are wellknown. Strong typing is especially natural for functional(applicative) languages, in which function application is thecentral construct, and type matching is therefore a principalprogram correctness check. In practice, however, assigning a typeto each and every expression in a functional program can beprohibitively cumbersome. As expressions are compounded, the taskof… CONTINUE READING

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…