Searching for "What is a Recursive Module?" – 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.

What is a Recursive Module?
by Karl Crary, Robert Harper, Sidd Puri — 1999 — In SIGPLAN Conference on Programming Language Design and Implementation
…What is a Recursive Module?* Karl Crary Carnegie Mellon University Robert Harper Carnegie Mellon…
Cited by 66 (5 self) – Add To MetaCart

Toward a Practical Type Theory for Recursive Modules
by Derek R. Dreyer, Robert Harper, Karl Crary — 2001
… to them in Section 6 on related work), but neither explains what a recursive module is, in a fundamental…
Cited by 13 (5 self) – Add To MetaCart

Showing 1 through 2.

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