Keith M. Clarke

According to our database, Keith M. Clarke authored at least 3 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Parallelizing Imperative Functional Programs: the Vectorization Monad.

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat

J. Symb. Comput., 1996

1994

The Vectorisation Monad.

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

1989

Procedure parameters can imitate sequence concatenation.

Keith McC. Clarke

ACM SIGPLAN Notices, 1989