[
top
]
chapter
A polymorphic calculus for views and object sharing (extended abstract)