The Essence of Dependent Object Typesinfoscience.epfl.ch2 points·uros643··0 commentsOpen articleSaveView on HN