%0 Book Section %1 citeulike:14356023 %A Jones, Mark P. %B First International Spring School on Advanced Functional Programming Techniques %D 1995 %I Springer-Verlag %K functional-programming haskell %N 925 %T Functional Programming with Overloading and Higher-Order Polymorphism %U http://web.cecs.pdx.edu/\~mpj/pubs/springschool.html %X 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 flexible type systems while retaining many of the properties that have made the original Hindley/Milner system so popular. The topics discussed, some old, but most quite recent, include higher-order polymorphism and type and constructor class overloading. Particular emphasis is placed on the use of these features to promote modularity and reusability.

@inbook{citeulike:14356023, abstract = {{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 flexible type systems while retaining many of the properties that have made the original Hindley/Milner system so popular. The topics discussed, some old, but most quite recent, include higher-order polymorphism and type and constructor class overloading. Particular emphasis is placed on the use of these features to promote modularity and reusability.}}, added-at = {2019-06-18T20:47:03.000+0200}, author = {Jones, Mark P.}, biburl = {https://www.bibsonomy.org/bibtex/28d1c1c73a9c63995de340e4aef7288f9/alexv}, booktitle = {First International Spring School on Advanced Functional Programming Techniques}, citeulike-article-id = {14356023}, citeulike-attachment-1 = {jones_95_functional_1109410.pdf; /pdf/user/alexv/article/14356023/1109410/jones_95_functional_1109410.pdf; 42e82500502694323b9410cc4a1ae95b6ecfeec9}, citeulike-linkout-0 = {http://web.cecs.pdx.edu/\~{}mpj/pubs/springschool.html}, file = {jones_95_functional_1109410.pdf}, interhash = {d95061a41d23765d540755a82f63f012}, intrahash = {8d1c1c73a9c63995de340e4aef7288f9}, keywords = {functional-programming haskell}, location = {B{\aa}stad, Sweden}, month = may, number = 925, posted-at = {2017-05-12 22:53:05}, priority = {2}, publisher = {Springer-Verlag}, series = {Springer-Verlag Lecture Notes in Computer Science}, timestamp = {2019-08-24T00:12:57.000+0200}, title = {{Functional Programming with Overloading and Higher-Order Polymorphism}}, url = {http://web.cecs.pdx.edu/\~{}mpj/pubs/springschool.html}, year = 1995 }