Separate compilation in CHIPSY
H. Eidnes, D. O. Hallsteinsen, Dag H. Wanvik · 1989
This paper describes a practical implementation scheme for separate compilation of strongly typed high-level languages. The scheme provides full inter-module type checking, while limiting the problems of “big inhale” and most redundant recompilations by employing smart recompilation at reasonable cost. It also provides type-safe link-time substitution of module variants.