Some Practical Aspects of Dependent Datatypes

by Hongwei Xi
Citations:5 - 3 self