The Vectorisation Monad

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat. The Vectorisation Monad. In Hoon Hong, editor, First International Symposium on Parallel Symbolic Computation - PASCO '94, Hagenberg/Linz, Austria, September 26-28, 1994. pages 204-213, World Scientific, 1994.

Abstract

Abstract is missing.