Static dependent types are the basis of a new type system which allows types and values to
be packaged together in first-class modules, permitting flexible use of packaged types while …

Static dependent types are the basis of a new type system which allows types and values to
be packaged together in rst-class modules, permitting exible use of packaged types while …