High-order modules and the phase distinction - Harper, Robert 1957-; Mitchell, John C.; Moggi, Eugenio (Carnegie-Mellon University <Pittsburgh, Pa.>, 1989)