Has anyone looked at subtyping rules for F-bounded polymorphic types? I would be grateful for relevant references. Satish ___________________________________________________________________ Mathematics and Computer Science Department Tel: (315) 265-7798 Clarkson University FAX: (315) 268-6670 Potsdam, NY 13699 Internet: satish@sun.mcs.clarkson.edu