Dagstuhl Seminar Generic Programming 1998

Foundations and Methodology Comparisons

Programming Methodology

Language Design

Specification and Verification

Applications