Searching for "Recursive modules for programming." – sorted by Relevance.
-
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

