The Essence of Dependent Object Typeshttp://infoscience.epfl.ch/record/215280 by uros643 • 10 years ago 2 0 10 years agoINinfoscience.epfl.ch