Changes between Version 17 and Version 18 of Roles


Ignore:
Timestamp:
Jun 24, 2017 6:00:19 PM (2 years ago)
Author:
RyanGlScott
Comment:

Add page outline

Legend:

Unmodified
Added
Removed
Modified
  • Roles

    v17 v18  
    11= Roles =
     2[[PageOutline]]
    23
    34The idea of ''roles'' comes from the paper [http://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf Generative Type Abstraction and Type-level Computation], published at POPL 2011. The implementation of roles in GHC, however, is somewhat different than stated in that paper. This page focuses on the user-visible features of roles.