[Prev][Next][Index][Thread]

Re: F-bounded polymorphism






 >>  Katiyar has argued in favor of the slightly different rule...

Satish is referring to a short note written by me last year.
If you are interested, it is available as

  theory.stanford.edu:~ftp/pub/katiyar/Fbounded_workshop.ps

It's just a loose argument to show that practically nothing is
gained by the seemingly stronger rule (the same that Kim and
Phil came up with).

Dinesh Katiyar