Paul Broome

According to our database, Paul Broome authored at least 3 papers between 1981 and 1994.

Collaborative distances:

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

1994

Combinatory Logic Programming: Computing in Relation Calculi.

Paul Broome, James Lipton

Proceedings of the Logic Programming, 1994

1993

Proofs about Programs in Classical Set Theory.

Paul Broome

Proceedings of the Workshop on Logic Programming with Sets, 1993

1981

A simple optimizer for FP-like languages.

Noorul Islam, Thomas J. Myers, Paul Broome

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981