Peter Landin
Template:Short description Template:Use dmy dates Template:Use British English Template:Infobox scientist
Peter John Landin (5 June 1930 – 3 June 2009<ref>Peter Landin, Lambda the Ultimate, 4 June 2009.</ref><ref name="guardian-obit">Template:Harvard citation no brackets</ref>) was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics.
Academic
Landin was born in Sheffield, where he attended King Edward VII School; he graduated from Clare College, Cambridge.<ref name="guardian-obit"/> From 1960 to 1964, he was the assistant to Christopher Strachey when the latter was an independent computer consultant in London.<ref>Template:Cite conference</ref> Most of his work was published during this period and the brief time he worked for Univac and at the Massachusetts Institute of Technology in the United States, before taking a position at Queen Mary University of London. During the 1970s and 1980s, his efforts went into building the computer science department in Queen Mary College, developing courses, and teaching students, as set forth in the foreword to the textbook Programming from First Principles.<ref>Template:Cite book</ref> On his retirement, he was appointed Emeritus Professor of Theoretical Computation at Queen Mary University of London, where in 2012, the computer science building was renamed the Peter Landin Building in his honour.
At a workshop at the Science Museum, London, in 2001, on the history of programming semantics he spoke of how his scholarly career in computer science began in the late 1950s and of how he was much influenced by a study of John McCarthy's Lisp language when the most commonly used language was Fortran.<ref>Template:Cite journal</ref>
He was active in the definition of the ALGOL programming language. He is listed among those who attended the November 1959 conference in Paris,<ref>Template:Cite web</ref> and the 1962 conference,<ref>Template:Cite web</ref><ref>Template:Harvard citation no brackets</ref> and cited by Tony Hoare as one of the people who taught him ALGOL 60 and hence facilitated his expression of powerful recursive algorithms:
Landin was involved with international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,<ref>Template:Cite web</ref> which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.<ref>Template:Cite web</ref>
Landin is responsible for inventing the stack, environment, control, dump SECD machine, the first abstract machine for a functional programming language,<ref>Template:Cite book</ref> and the ISWIM programming language, defining the Landin off-side rule and for coining the term syntactic sugar. The off-side rule allows bounding scope declaration by use of white spaces as seen in languages such as Miranda, Haskell, Python, and F# (using the light syntax).
Another phrase originating with Landin is "The next 700 ..." after his influential paper The next 700 programming languages.<ref>Template:Harvnb</ref> "700" was chosen because Landin had read in the Journal of the ACM that there were already 700 programming languages then extant.<ref>Personal communication, September 2007.</ref> The paper opens with the quotation "... today ... 1,700 special programming languages used to 'communicate' in over 700 application areas."<ref>Computer Software Issues, an American Mathematical Association Prospectus, July 1965.</ref> It also includes the joke that Template:Blockquote a reference to his earlier paper.<ref>Template:Harvard citation no brackets</ref> This dry sense of humour is expressed in many of his papers.
Political
Landin, who was bisexual,<ref name="guardian-obit"/> became involved with the Gay Liberation Front (GLF) during the early 1970s. He was once arrested as part of an anti-nuclear demonstration.<ref>Template:Harvard citation no brackets</ref> He was a dedicated cyclist and moved around London on his bike until it became physically impossible for him to do so.Template:Citation needed
Legacy
The Bodleian Library in Oxford holds an archive of material relating to Peter Landin.<ref>Template:Cite web</ref> Since 2010, there has been an Annual Peter Landin Semantics Seminar held annually each December organized by the BCS-FACS Specialist Group on Formal Aspects of Computing Science.<ref>Template:Cite web</ref> The first seminar was delivered by the American computer scientist John C. Reynolds (1935–2013).<ref>Template:Cite web</ref> There is a Peter Landin Building at Queen Mary University of London housing teaching and research facilities for computer science.<ref>Template:Cite web</ref>
Selected publications
- Template:Cite journal
- Template:Cite journal
- Template:Cite journal
- Template:Cite journal Reprinted in Template:Cite journal
- Template:Cite journal
- Template:Cite journal
See also
Notes
Sources
External links
- Template:DBLP
- Template:Webarchive, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001
- Memorial talk on Landin's life by Olivier Danvy at ICFP 2009
- Peter Landin's talk at Program Verification and Semantics: The Early Work, 2001 (video)
- 1930 births
- 2009 deaths
- People educated at King Edward VII School, Sheffield
- Alumni of Clare College, Cambridge
- English computer scientists
- Programming language researchers
- Formal methods people
- Massachusetts Institute of Technology faculty
- Academics of Queen Mary University of London
- Bisexual scientists
- British bisexual men
- British LGBTQ scientists
- British anti–nuclear weapons activists
- English LGBTQ rights activists
- Bisexual academics
- 20th-century English LGBTQ people