Home » forums » LtU Forum

Existential Types == Guarded Types

In the GHC Users' Guide:
Notice that GADTs generalise existential types.

And Martin Sulzmann gives us A Systematic Translation of Guarded Recursive Data Types to Existential Types

By Jim Apple at 2005-05-06 03:10 | LtU Forum | previous forum topic | next forum topic | other blogs | 3206 reads