The Vectorisation Monad (1994)

by Jonathan M. D. Hill , Keith M. Clarke , Richard Bornat
Venue:PASCO'94: First International Symposium on Parallel Symbolic Computation
Citations:3 - 2 self

Document Versions

The Vectorisation Monad –Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat — 1994 — PASCO'94: First International Symposium on Parallel Symbolic Computation