Recursive modules for programming
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (ICFP '06)
By Jacques Garrigue, Keiko Nakata
Issue Date:September 2006
TheML module system is useful for building large-scale programs. The programmer can factor programs into nested and parameterized modules, and can control abstraction with signatures. Yet ML prohibits recursion between modules. As a result of this constrai...