[0708.2255] A Language for Generic Programming in the Large

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 the language G was developed . 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.

Read more...

Blogged with the Flock Browser