Dictionary-Free Overloading by Partial Evaluation

  title={Dictionary-Free Overloading by Partial Evaluation},
  author={Mark P. Jones},
One of the most novel features in the functional program ming language Haskell is the system of type classes used to support a combination of overloading and polymorphism Current implementations of type class overloading are based on the use of dictionary values passed as extra parameters to overloaded functions Unfortunately this can have a sig ni cant e ect on run time performance for example by re ducing the e ectiveness of important program analyses and optimizations This paper describes… CONTINUE READING
Highly Cited
This paper has 59 citations. REVIEW CITATIONS


Publications citing this paper.

59 Citations

Citations per Year
Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 20 references

Quali ed types: Theory and Practice

M. P. Jones
D. Phil. Thesis • 1992
View 4 Excerpts
Highly Influenced

How to Make ad-hoc Polymorphism Less ad-hoc

View 9 Excerpts
Highly Influenced

A static semantics for Haskell (draft)

S. L. Peyton Jones, P. Wadler
Manuscript, Department of Computing Science, • 1992
View 1 Excerpt

Similar Papers

Loading similar papers…