• Views describe how user data types implement features of abstract types.

• Generic algorithms are compiled with respect to views.

• The result is specialized versions of the generics that operate directly on application data.

Contents    Page-10    Prev    Next    Page+10    Index