Mark P. Jones. Functional programming with overloading and
higher-order polymorphism. In Johan Jeuring and Erik Meijer,
editors, Advanced Functional Programming: First International Spring
School on Advanced Functional Programming Techniques, number 925 in
Lecture Notes in Computer Science, pages 97-136. Springer-Verlag,
Our very own Ken Shan mentioned this interestng paper over on the Haskell mailing list. As a polymorphism lover (i.e., fanatic) I liked the general approach.
The explanation of type classes in Haskell is especially good. The last section of the paper may be too abstract for some...
Posted to functional by Ehud Lamm on 8/25/02; 5:54:13 AM