Paul Roe Clemens A. Szyperski Lightweight Parametric Polymorphism for Oberon. 140-154 1997 conf/jmlc/1997 JMLC db/conf/jmlc/jmlc1997.html#RoeS97