University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Computer Science Monographs

2015200920001999199719961995199419931992

1991199019891988198719861985198419831982

198119801978197619741973197219711970

[PRG57]

The Pursuit of Deadlock Freedom

A.W. Roscoe and Naiem Dathi

No. PRG57. OUCL. November, 1986.

[PRG56]

AN INTRODUCTION TO THE THEORY OF LISTS

Richard S. Bird

No. PRG56. OUCL. October, 1986.

[PRG55]

FUNCTIONAL PROGRAMMING WITH SIDE−EFFECTS

Mark B. Josephs

No. PRG55. OUCL. June, 1986.

[PRG53]

THE LAWS OF OCCAM PROGRAMMING

A. W. Roscoe and C.A.R Hoare

No. PRG53. OUCL. February, 1986.