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

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Mon Mar 19 14:31:41 AEDT 2007

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.

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

More information about the users mailing list