watch 01:25
Jurassic World: Dominion Dominates Fandom Wikis - The Loop
Do you like this video?
Play Sound
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
