Peter Landin
#2,269
Most Influential Person Now
British computer scientist
Peter Landin's AcademicInfluence.com Rankings
Peter Landinmathematics Degrees
Mathematics
#1977
World Rank
#3129
Historical Rank
Measure Theory
#3619
World Rank
#4271
Historical Rank
Download Badge
Computer Science Mathematics
Why Is Peter Landin Influential?
(Suggest an Edit or Addition)According to Wikipedia, Peter John Landin 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.
Peter Landin's Published Works
Published Works
- The Mechanical Evaluation of Expressions (1964) (1021)
- The next 700 programming languages (1966) (680)
- Correspondence between ALGOL 60 and Church's Lambda-notation (1965) (396)
- PROGRAMS AND THEIR PROOFS: AN ALGEBRAIC APPROACH, (1968) (126)
- A Generalization of Jumps and Labels (1998) (60)
- A λ-CALCULUS APPROACH (1966) (45)
- A correspondence between ALGOL 60 and Church's Lambda-notations: Part II (1965) (38)
- Calculations (2009) (12)
- Histories of Discoveries of Continuations: Belles-Lettres with Equivocal Tenses (1997) (10)
- My Years with Strachey (2000) (9)
- Getting rid of labels (2009) (5)
- Comments on Naur's Non-rectangular arrays (1965) (0)
- Peter J. Landin (1930–2009) (2009) (0)
- Review: Book Review (1968) (0)
- Rod Burstall: A Personal Note (2002) (0)
- [90] G. C. Sih and E.A. Lee, “A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous (1997) (0)
This paper list is powered by the following services:
Other Resources About Peter Landin
What Schools Are Affiliated With Peter Landin?
Peter Landin is affiliated with the following schools: