Compiler-Enforced Cache Coherence Using a Functional Language. - Richard Wolski; David Cann (Sci. Program., 1996)