The History of Computing Collection is home to a some special collections.
Theory of programming
Our particular interest in programming and software development has attracted a number of gifts of archives. We have received collections of notes, articles and books from professors of computer science
- Willem Paul de Roever (Kiel),
- Peter van Emde Baos (Amsterdam),
- and Dines Bjorner (Copenhagen).
Taken together the archives cover much of the development of modern programming languages with an emphasis on formal methods for semantics, specification and verification.
Leslie J Comrie, FRS (1893-1950)
Comrie was a pioneer of numerical methods for science and engineering before computers, and our archive contains notes, papers and his collection of mathematical tables associated with his computation company Scientific Computing Service.