Searching for "Static Dependent Types for First Class Modules." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Static Dependent Types for First Class Modules
by Mark Sheldon And
…StaticDependentTypesforFirstClassModules MarkA.SheldonandDavidK.Giord Laboratoryfor…
Add To MetaCart

Static dependent types for first class modules
by David K. Gi Ord, Mark A. Sheldon, Mark A. Sheldon — 1990 — In 1990 ACM Conference on Lisp and Functional Programming
…Static Dependent Types for First-Class Modules by Mark A. Sheldon B.S., Duke University (1984…
Cited by 17 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB