Paul Broome

Publication Activity (10 Years)

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

Publications

Paul Broome, James Lipton
Combinatory Logic Programming: Computing in Relation Calculi. ILPS (1994)
Paul Broome
Proofs about Programs in Classical Set Theory. ICLP Workshop on Logic Programming with Sets (1993)
Noorul Islam, Thomas J. Myers, Paul Broome
A simple optimizer for FP-like languages. FPCA (1981)