Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:almaMater |
gptkb:University_of_Cambridge
|
| gptkbp:awards |
Royal_Society_Fellow
|
| gptkbp:birthDate |
1930-04-24
|
| gptkbp:children |
2
|
| gptkbp:contribution |
Advancements in Compiler Design
Influence on the teaching of programming languages. Pioneering work in the field of functional programming. Work on the relationship between programming languages and logic. Influence on the development of programming language theory. Research on the usability of programming languages. Work on the social implications of programming languages. Research on the practical applications of programming languages. Influence on the evolution of programming languages. Development of programming language concepts. Influence on the design of programming language environments. Influence on the design of educational programming languages. Influence on modern programming paradigms. Research on the history of programming languages. Research on the theory of computation. Research on type systems. Influence on the global landscape of programming languages. Work on Denotational Semantics Work on the design of programming languages. Work on the future of programming languages. Work on the philosophy of programming. Work on the semantics of programming constructs. Research on the cultural impact of programming languages. Work on the evolution of programming language features. Influence on the design of functional programming languages. Work on the relationship between programming and mathematics. Work on the accessibility of programming languages. Influence on the development of programming language tools. Influence on the academic study of programming languages. Work on the foundations of programming language theory. Research on the semantics of programming languages. Research on the implementation of programming languages. Research on the role of programming languages in computer science. Influence on the development of programming language standards. Research on the implementation of functional languages. Research on the impact of programming languages on software development. Development_of_ISWIM Influence_on_Algol_60 Research_on_Continuations Contributions_to_the_Theory_of_Programming_Languages |
| gptkbp:deathDate |
2009-07-24
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Peter John Landin
|
| gptkbp:influenced |
gptkb:John_Backus
gptkb:Edsger_W._Dijkstra gptkb:Peter_G._Neumark Tony Hoare |
| gptkbp:influencedBy |
gptkb:Alonzo_Church
|
| gptkbp:knownFor |
gptkb:Landin's_Correspondence
Abstract Syntax Trees Definitional Interpreters Programming_Language_Design Functional_Programming ISWIM_programming_language |
| gptkbp:nationality |
British
|
| gptkbp:notableAlumni |
Lambda_Calculus
|
| gptkbp:notableWork |
The Next 700 Programming Languages
|
| gptkbp:occupation |
Academic
|
| gptkbp:researchField |
Formal Methods
Programming Languages Type Theory |
| gptkbp:spouse |
Margaret_Landin
|