Changes between Version 25 and Version 26 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:51:55 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v25 v26  
    5151   System FC(X), an extension of System F with explicit equality 
    5252   witnesses.  This enables GHC to support GADTs and associated types, 
    53    with two new simple but powerful mechanisms. The paper is at 
    54    http://research.microsoft.com/~simonpj/papers/ext-f/. 
     53   with two new simple but powerful mechanisms. The paper is  
     54   [http://research.microsoft.com/~simonpj/papers/ext-f/ System F with Type Equality Coercions]. 
    5555   Much of the conversion work was done by Kevin Donnelly, while he 
    5656   was on an internship at Microsoft. 
     
    5959   a modest generalisation of the ''associated data types'' 
    6060   of our POPL'05 paper 
    61    http://research.microsoft.com/~simonpj/papers/assoc-types/. 
     61   [http://research.microsoft.com/~simonpj/papers/assoc-types/ Associated types with class]. 
    6262   [[BR]][[BR]] 
    6363   This part is done. Now we are working on ''type-synonym families'' 
    64    (aka type functions), which are considerably trickier that 
    65    indexed data types, at least so far as type inference is concerned. 
     64   (aka type functions or [http://research.microsoft.com/~simonpj/papers/assoc-types associated type synonyms (ICFP'05)]), which are considerably trickier that 
     65   data type families, at least so far as type inference is concerned. 
    6666   Tom Schrijvers is in Cambridge for three months to help us use ides 
    6767   from Constraint Handling Rules to solve the inference problem.