Searching for "Recursive modules for programming." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Recursive Modules for Programming
- …Recursive modules for programming Keiko Nakata Kyoto University Research Institute…
- Cited by 5 (3 self) – Add To MetaCart
-
Interactive Modular Programming in Scheme
- … recursive modules. The programming environment supports dynamic linking, separate compilation, production…
- Cited by 11 (0 self) – Add To MetaCart
-
unknown title
- … programming. Some recursive module proposals attempt to ameliorate this restriction by splitting modules…
- Add To MetaCart
-
Toward a Practical Type Theory for Recursive Modules
- … two styles of recursive module programming: opaque and transparent. Both utilize a simple recursive…
- Cited by 13 (5 self) – Add To MetaCart
-
Principal type schemes for modular programs
- … of type α is even available. This is motivated by the goal of modeling recursive module programming…
- Cited by 9 (8 self) – Add To MetaCart
-
A type system for well-founded recursion
- … program modules. This restriction is unfortunate because it means that mutually recursive functions…
- Cited by 20 (4 self) – Add To MetaCart
-
Efficient Recursion in the Presence of Effects
- … programming. Some recursive module proposals attempt to ameliorate this restriction by splitting modules…
- Add To MetaCart
Showing 1 through 7.
