Re: Dynamic binding and heterogeneous lists

[Pierpaolo Bernardi]

On Mon, 19 Apr 1999, Kevin Atkinson wrote:

> Maybe?  What exactly are they.  I have not been able to find a good
> guide which explains the forall and exists qualifier concepts.

A clear explanation of what you can do with existential types is included
in the Concurrent Clean manual. 

I don't have the url handy.  Sorry.


Pierpaolo Bernardi