Changes between Version 2 and Version 3 of GADTs


Ignore:
Timestamp:
Jan 27, 2006 12:52:49 PM (10 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GADTs

    v2 v3  
    3131 * [http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm Simple unification-based type inference for GADTs] by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Submitted to PLDI 2005.
    3232
     33== Tickets ==
     34[[TicketQuery(description~=GADTs)]]
     35
    3336== Pros ==
    3437 * New syntax for datatypes makes the types of data constructors clear, though may be adopted independently from GADTs. (Convenient for ExistentialQuantification)