A Polymorphic Calculus for Views and Object Sharing.

Atsushi Ohori, Keishi Tajima

Browse the full PODS paper archive.