[mercury-users] Existential type examples/uses/tutorials?

[Julien Fischer]

On Sun, 18 Mar 2007 doug.auclair at logicaltypes.com wrote:

> Dear all,
>
> I've been studying existential types (from chapter 11 of the refman),
> but have only one example of their use (the encoding type from the
> parsing module in the xml library).  I've not gained much information
> of existential type usage from the examples from chapter 11.
>
> Ralph's book does not discuss existential types, either.  Is there some
> advanced course material (with exercises?) or code samples that use
> existential types, so I can work through them and learn when they are
> useful?

The last section of David Jeffery's Phd thesis (available on the papers 
page) has an extensive discussion of them.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------