[Haskell-cafe] What I wish someone had told me...

Yitzchak Gale gale at sefer.org
Wed Oct 15 08:42:15 EDT 2008


Derek Elkins wrote:
> In general, to encode OO...
> turns out all you needed was recursive bounded
> existential quantification.

Do you have a reference for that?

Thanks,
Yitz


More information about the Haskell-Cafe mailing list