Christopher Strachey

E232888

Christopher Strachey was a pioneering British computer scientist whose work on programming language design and denotational semantics helped lay the foundations of modern theoretical computer science.

All labels observed (1)

Label Occurrences
Christopher Strachey canonical 3

How this entity was disambiguated

Statements (42)

Predicate Object
instanceOf British person
computer scientist
pioneer of computer science
areaOfInfluence design of modern programming languages
theory of computation
birthDate 1916-11-16
contributedTo concept of higher-order functions in programming languages
concept of parametric polymorphism
early work on type systems
formalization of programming language semantics
foundations of functional programming
countryOfCitizenship United Kingdom
deathDate 1975-05-18
employer University of Oxford
surface form: Oxford University
familyName Strachey
fieldOfWork computer science
denotational semantics
programming languages
theoretical computer science
fullName Christopher Strachey self-link
givenName Christopher
influenced Dana Scott
Robin Milner
Tony Hoare
development of denotational semantics in computer science
influencedBy Alonzo Church
mathematical logic
knownFor development of denotational semantics
foundational work in programming language design
influence on modern programming language theory
work on formal semantics of programming languages
work on higher-order functions and types
languageOfWorkOrName English
legacy helped establish theoretical foundations of computer science
inspired subsequent research in programming language semantics
nationality United Kingdom
notableIdea denotational semantics of programming languages
polymorphism in programming languages
separation of syntax and semantics in language design
positionHeld founding member of the Programming Research Group at Oxford
sexOrGender male
workInstitution Programming Research Group, Oxford University

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Robin Milner influencedBy Christopher Strachey
Dana Scott coAuthor Christopher Strachey
Christopher Strachey fullName Christopher Strachey self-link