Changes between Version 23 and Version 24 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:45:06 AM (8 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