Sho-Huan Simon Tung and R. Kent Dybvig. Reliable interactive programming with modules. Lisp and Symbolic Computation 9, 4, 343-358, December 1996 (bibtex).
Interactive programming is a convenient programming style that supports fast prototyping and debugging but often results in a loss of modularity and security. This article addresses the problem of supporting reliable and modular interactive programming. A module system designed for interactive use is introduced. This module system supports separate compilation and automatic updating of module interfaces during program development. It also allows the programmer to obtain a fresh program state for reliable testing, eliminating the need to reload an entire program.