Changes between Version 21 and Version 22 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:38:44 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v21 v22  
    2323Pepe Iborra, Ravi Nanavati, Samuel Bronson, Sigbjorn Finne, 
    2424Spencer Janssen, Sven Panne, Tim Chevalier, Tim Harris, 
    25 Tyson Whitehead, Wolfgang Thaller and anyone else who has contributed 
     25Tyson Whitehead, Wolfgang Thaller, and anyone else who has contributed 
    2626but we have accidentally omitted. 
    2727 
     
    5656   was on an internship at Microsoft. 
    5757 
    58  * Manuel Chakravarty has implemented ''type-indexed data types'', 
     58 * Manuel Chakravarty has implemented ''data-type families'' (aka indexed data types), 
    5959   a modest generalisation of the ''associated data types'' 
    6060   of our POPL'05 paper 
    6161   http://research.microsoft.com/~simonpj/papers/assoc-types/. 
    6262   [[BR]][[BR]] 
    63    This part is done. Now we are working on indexed ''type synonyms'' 
     63   This part is done. Now we are working on ''type-synonym families'' 
    6464   (aka type functions), which are considerably trickier that 
    6565   indexed data types, 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. 
    68    Indexed type synonyms will almost completely fill the spot occupied 
     68   Type synonym families will almost completely fill the spot occupied 
    6969   by the always-troublesome functional dependencies, so we are quite 
    7070   excited about this.