ACM Transactions on Programming Languages and Systems November 1995: Vol 17, Nr 6 p 805 Typechecking and Modules for Multimethods by Craig Chambers and Gary T. Leavens p 844 A Polymorphic Record Calculus and its Compilation by Atsushi Ohori p 896 Fast Strictness Analysis Based on Demand Propagation by R. Sekar and I. V. Ramakrishnan