Changes between Version 12 and Version 13 of Roles
- May 22, 2014 9:42:55 PM (10 months ago)
v12 v13 5 5 See also 6 6 * 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 7 8 * [wiki:Roles2] which identifies a difficulty with the design in the paper, and some possibilities for solving it. 8 9 * [wiki:RolesImplementation] talks about the implementation in GHC.