[Haskell-cafe] Re: Numeric type classes

[Aaron Denney]

On 2006-09-20, Jacques Carette <carette at mcmaster.ca> wrote:
> [Hopefully this answers your 'relevance' question].

Yes.  I was focusing on the more narrow aspect, rather than what had
started this thread.

> In other words, the "specification language" people have been down this 
> road quite some time ago, and seem to have worked out a fair bit of it.  
> PL people should now liberally borrow all these good ideas IMNSHO.

Thank you for the references.

-- 
Aaron Denney
-><-