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. |