Using Dependent Types to Express Modular Structure

  title={Using Dependent Types to Express Modular Structure},
  author={David B. MacQueen},
Writing any large program poses difficult problems of organization. In many modern programming languages these problems are addressed by special linguistic constructs, variously known as modules, packages, or clusters, which provide for partitioning programs into manageable components and for securely combining these components to form complete programs. Some general purpose components are able to take on a life of their own, being separately compiled and stored in libraries of generic… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
127 Citations
1 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 127 extracted citations


Publications referenced by this paper.

Combinatory Logic I

  • H. B. Curry, R. Feys
  • North-Holland
  • 1958
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…