Constructing Universes for Generic Programming (2007)

by P Morris