Peter Landin (right) with Robin Milner, Tony Hoare, and Joe Stoy, all speakers at the Program Verification and Semantics meeting held at the Science Museum↑, London↑, in 2001.
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↑.
References[]
- ↑ Peter Landin, Lambda the Ultimate, 4 June 2009.
External links[]
- 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
