Skip to main content

Addendum, 1959 - 2005

 Series
Identifier: 2
Part of ML-101: Stephen Garland papers
  • No requestable containers

  • Staff Only

Description

Contains manuals, correspondence, agendas, theses, papers, talks, meeting minutes, reports, tutorials, course notes, lectures, patents and publications related to his development and work with the computer language IOA as well as the National Science Foundation, Project Oxygen, Larch Prover (LP), LCS, and his work at Dartmouth College.

Dates

  • 1959 - 2005

Conditions Governing Access

Unrestricted.

Extent

From the Collection: 33 linear ft. (25 boxes)

Language of Materials

From the Collection: English

Part of the Rauner Library Archives and Manuscripts Repository

https://www.dartmouth.edu/library/rauner/
Contact:
6065 Webster Hall
Hanover NH 03755 USA

Back to top