Changes between Version 12 and Version 13 of Roles


Ignore:
Timestamp:
May 22, 2014 9:42:55 PM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Roles

    v12 v13  
    55See also
    66 * Our ICFP 2014 paper [http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible-ext.pdf Safe Coercions], which gives lots of motivation and details, including the `Coercible` class.
     7 * The user-level [http://www.haskell.org/haskellwiki/GHC/Coercible wiki page about Coercible]
    78 * [wiki:Roles2] which identifies a difficulty with the design in the paper, and some possibilities for solving it.
    89 * [wiki:RolesImplementation] talks about the implementation in GHC.