Keith M. Clarke

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
Parallelizing Imperative Functional Programs: the Vectorization Monad. J. Symb. Comput. 21 (4) (1996)
Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
The Vectorisation Monad. PASCO (1994)