Dagstuhl Seminar Generic Programming 1998

Foundations and Methodology Comparisons

Programming Methodology

Language Design

Specification and Verification

Applications

maintained by Schloss Dagstuhl LZI at University of Trier