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

[doug.auclair at logicaltypes.com]

Dear Julien, you wrote, re: existential types --

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

Thanks.  I've downloaded the paper and have begun reading it.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------