Special Collections

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.