Functional Programming with Overloading and Higher-Order Polymorphism

  title={Functional Programming with Overloading and Higher-Order Polymorphism},
  author={Mark P. Jones},
  booktitle={Advanced Functional Programming},
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant compromise between flexibility, allowing a single value to be used in different ways, and practicality, freeing the programmer from the need to supply explicit type information. Focusing on practical applications rather than implementation or theoretical details, these notes examine a range of extensions that provide more… CONTINUE READING
Highly Cited
This paper has 119 citations. REVIEW CITATIONS

2 Figures & Tables



Citations per Year

119 Citations

Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.