Skip to main content
PRL Project

Continuation of talk on Polymorphic References

by Ozan Hafizogullari

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.