Changes between Version 21 and Version 22 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:38:44 AM (8 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.