Ross A. Paterson

According to our database, Ross A. Paterson authored at least 4 papers between 1987 and 2001.

Collaborative distances:

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

2001

Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence.

Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson

J. Funct. Program., 2001

1994

Derivation and performance of a pipelined transaction processor.

Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

1992

An Implementation for a Higher Level Logic Programming Language.

Anthony S. K. Cheng, Ross A. Paterson

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1987

Reasoning about functional programs

Ross A. Paterson

PhD thesis, 1987