Programming languages and applied logic

Introduction to Functional Programming Systems Using Haskell

textbook

Davie, Antony J. T.
Published: June 1992

Project Factorisations in Partial Evaluation

Launchbury, John
Published: May 2012

Logical Frameworks

Huet, Gerard
Plotkin, G.
Published: September 1991Published: May 2012

Formal Methods in Artificial Intelligence

Ramsay, Allan M.
Published: July 1991

Rationale for the Design of the Ada Programming Language

Ichbiah, J.
Barnes, J.
Firth, R.
(+ 1 other)
Published: April 1991

Process Algebra

Baeten, J. C. M.
Weijland, W. P.
Published: March 2011

Distributed Ada: Developments and Experiences

Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11–12 December 1989

Bishop, Judy M.
Published: August 1990Published: February 2011

Logic and Computation

Interactive Proof with Cambridge LCF

Paulson, Lawrence C.
Published: July 1990Published: March 2011

Introduction to Higher-Order Categorical Logic

Lambek, J.
Scott, P. J.
Published: March 1988

A Practical Handbook for Software Development

Birrell, N. D.
Ould, M. A.
Published: February 1988Published: April 2011

Illustrating Pascal

Alcock, Donald G.
Published: September 1987Published: February 2011

Program Construction

textbook

Stone, R. G.
Cooke, D. J.
Published: March 1987

A Practical Introduction to Denotational Semantics

textbook

Allison, L.
Published: January 1987

Illustrating BBC Basic

Alcock, Donald G.
Published: September 1986

Recursion via Pascal

textbook

Rohl
Published: August 1984

Illustrating FORTRAN

Alcock, Donald G.
Published: September 1983

BCPL

The Language and its Compiler

Richards, Martin
Whitby-Strevens, Colin
Published: December 1981

Computability

An Introduction to Recursive Function Theory

textbook

Cutland, Nigel
Published: June 1980Published: No date available

Illustrating BASIC

Alcock, Donald G.
Published: January 1976

We Built Our Own Computers

Bolt, A. B.
Harcourt, J. C.
Hunter, J.
(+ 4 others)
Published: May 1966