Learn More
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 retaining static decidability. Previous type systems restrict the use of modules, restrict access to packaged types, or fail to provide static type checking. The use of static(More)
  • 1