Jonathan S. Shapiro wrote: >Due to recent work by Paritoff Shroff and Scott Smith, it seems that >there *is* a sound type system that can handle this. >
The paper can be found at: http://cs.jhu.edu/~pari/papers/fool2004/first-class_FOOL2004.pdf Swaroop. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
