Generativity and dynamic opacity for abstract types.

Andreas Rossberg Generativity and dynamic opacity for abstract types. 241-252 2003 conf/ppdp/2003 PPDP http://doi.acm.org/10.1145/888251.888274 db/conf/ppdp/ppdp2003.html#Rossberg03