Peter Landin
E554844
Peter Landin was a pioneering British computer scientist whose work on programming language theory and functional programming profoundly influenced the design of modern languages.
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
British person
ⓘ
computer scientist ⓘ |
| birthDate | 1930-06-05 ⓘ |
| contributedTo |
early functional programming concepts
ⓘ
formal semantics of programming languages ⓘ use of lambda calculus in programming ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| deathDate | 2009-06-03 ⓘ |
| developed |
ISWIM (If You See What I Mean)
NERFINISHED
ⓘ
SECD machine NERFINISHED ⓘ |
| educatedAt |
Cambridge University
ⓘ
surface form:
University of Cambridge
|
| employer |
International Computers and Tabulators
NERFINISHED
ⓘ
London School of Economics NERFINISHED ⓘ UNIVAC NERFINISHED ⓘ University of London NERFINISHED ⓘ |
| era | 20th-century computer science ⓘ |
| familyName | Landin NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
functional programming ⓘ programming language theory ⓘ |
| givenName | Peter ⓘ |
| influenced |
Haskell (programming language)
NERFINISHED
ⓘ
ML (programming language) NERFINISHED ⓘ Scheme (programming language) NERFINISHED ⓘ denotational semantics ⓘ functional programming languages ⓘ programming language design ⓘ |
| influencedBy |
Alonzo Church
NERFINISHED
ⓘ
lambda calculus ⓘ |
| knownFor |
ISWIM programming language design
ⓘ
Lambda calculus in programming language design ⓘ SECD machine NERFINISHED ⓘ denotational approaches to programming languages ⓘ the J operator NERFINISHED ⓘ the article "The Next 700 Programming Languages" NERFINISHED ⓘ the concept of continuations in programming ⓘ |
| language | English ⓘ |
| name | Peter Landin NERFINISHED ⓘ |
| nationality | British ⓘ |
| notableWork |
"A Correspondence between ALGOL 60 and Church’s Lambda-notation"
NERFINISHED
ⓘ
"The Mechanical Evaluation of Expressions" NERFINISHED ⓘ "The Next 700 Programming Languages" NERFINISHED ⓘ |
| placeOfBirth | Sheffield NERFINISHED ⓘ |
| placeOfDeath |
London, England
ⓘ
surface form:
London
|
| positionHeld | professor of theoretical computation ⓘ |
| sexOrGender | male ⓘ |
| workLocation |
London, England
ⓘ
surface form:
London
|
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.