Computer Science Monographs

THE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES

John Hughes

No. PRG40. OUCL. July, 1983.

Details | BibTeX | Download  (pdf)

uFP A ALGEBRAIC VLSI DESIGN LANGUAGE

Mary Sheeran

No. PRG39. OUCL. November, 1983.

Details | BibTeX | Download  (pdf)

THE FORMAL SPECIFICATION OF A CONFERENCE ORGANIZING SYSTEM

T Clement

No. PRG36. OUCL. August, 1983.

Details | BibTeX | Download  (pdf)

A MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES

Stephen D Brookes

No. PRG35. OUCL. 1983.

Details | BibTeX | Download  (pdf)

Abstract Machine Support for Purely Functional Operating Systems

Simon B. Jones

No. PRG34. OUCL. August, 1983.

Details | BibTeX | Download  (pdf)

NOTES ON COMMUNICATING SEQUENTIAL PROCESSES

C.A.R. Hoare

No. PRG33. OUCL. August, 1983.

Details | BibTeX | Download  (pdf)

The LispKit Manual − Volume 2

Peter Henderson‚ Geraint A. Jones and Simon B. Jones

No. PRG32(2). OUCL. 1983.

Details | BibTeX | Download  (pdf)

The LispKit Manual − Volume 1

Peter Henderson‚ Geraint A. Jones and Simon B. Jones

No. PRG32(1). OUCL. 1983.

Details | BibTeX | Download  (pdf)