PRL Seminars

Polymorphic References
Comment
I will continue my talk on polymorphic references,
esp. the problems about a sound type system.
Afterwards, I suggest having a lively discussion about various
research projects in Cornell as they relate to references.
|
|