About "class Coerce a b"

[Andre Pang]

On Friday, February 21, 2003, at 06:05  PM, Nick Name wrote:

> Reading the paper "Type Classes with Functional Dependencies" by Mark 
> P.
> Jones, I noticed he mentions the "Coerce" class as a way to model the
> subtyping relation. I have looked at the article there referred, "How 
> to
> make ad-hoc polymorphism less ad-hoc" by Wadler and Blott.
>
> By now, I can't find more references to this idea; it looks very
> promising for when one wants subtyping in haskell:

Have a look at the paper "Object-Oriented Style Overloading for 
Haskell" by Shields & Peyton-Jones: 
http://research.microsoft.com/~simonpj/Papers/oo-haskell/index.htm


-- 
% Andre Pang : just.your.average.bounty.hunter