Changes between Version 23 and Version 24 of Status/April07

Show
Ignore:
Timestamp:
05/01/07 00:45:06 (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/April07

    v23 v24  
    9191 
    9292A less successful feature of the last year has been the 
    93 story on impredicative instantiation (see the paper [http://research.microsoft.com/~simonpj/papers/boxy Boxy types]). 
     93story on impredicative instantiation (see the paper [http://research.microsoft.com/~simonpj/papers/boxy Boxy types: type inference for higher-rank types and impredicativity]). 
    9494The feature is implemented, but the implementation is significantly 
    9595more complicated than we expected; and it delivers fewer benefits than