The Internet Archive has a preservation copy of this work in our general collections.
The file type is
Generic programming is an effective methodology for developing reusable software libraries. Many programming languages provide generics and have features for describing interfaces, but none completely support the idioms used in generic programming. To address this need we developed the language G. The central feature of G is the concept, a mechanism for organizing constraints on generics that is inspired by the needs of modern C++ libraries. G provides modular type checking and separatearXiv:0708.2255v1 fatcat:ssm3xegpyfau7oyrg2emt7vrs4