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.
@inproceedings{HillCB94,
title = {The Vectorisation Monad},
author = {Jonathan M. D. Hill and Keith M. Clarke and Richard Bornat},
year = {1994},
researchr = {https://researchr.org/publication/HillCB94},
cites = {0},
citedby = {0},
pages = {204-213},
booktitle = {First International Symposium on Parallel Symbolic Computation - PASCO '94, Hagenberg/Linz, Austria, September 26-28, 1994},
editor = {Hoon Hong},
publisher = {World Scientific},
isbn = {978-981-4550-10-9},
}