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