Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Type derivation using the projection operation
We present techniques for deriving types from existing objectoriented types using the relational algebraic projection operation and for inferring the methods that are applicable to these types. Such type deriv...