Polymorphic Type Inference

  title={Polymorphic Type Inference},
  author={Daniel Leivant},
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


Publications citing this paper.

Similar Papers

Loading similar papers…