Peter John Landin (1930 – 3rd June 2009^[1]) was a British computer scientist. He was one of the first to realize that the lambda calculus↑ could be used to model a programming language, an insight that is essential to development of both functional programming↑ and denotational semantics↑. He was a colleague of Christopher Strachey↑ and an academic at Queen Mary London↑.

ReferencesEdit

External links Edit

• Peter Landin home page
• Wikipedia:Peter J. Landin
• Obituary in The Guardian↑, 22 September 2009
• Program Verification and Semantics: The Early Work meeting, BCS Computer Conservation Society↑, Science Museum, London↑, UK, 5 June 2001
• Video of Peter Landin's talk at Program Verification and Semantics: The Early Work, 2001
• Video of Memorial talk on Landin by Olivier Danvy↑, ICFP↑ 2009