| My current uses of GADTs belong to the company I work for, so it would
| be easier for me if *I* could check from time to time. Is the code
| publicly available?
Not yet, I'm afraid. But it will be soon.
Simon
___
Haskell mailing list
On Fri, Oct 14, 2005 at 04:35:24PM +0100, Simon Peyton-Jones wrote:
Stephanie and Dimitrios and I are now busy revising our wobbly-types
GADT paper (which is implemented in GHC, but never published
http://research.microsoft.com/%7Esimonpj/papers/gadt/index.htm). We
have a *far* simpler story
Dear Haskell folk
One of the interesting things about ICFP was the number of times GADTs
came up, either in papers or in discussions in the breaks. Francois's
invited talk was very inspiring, and that was just the beginning.
Stephanie and Dimitrios and I are now busy revising our wobbly-types