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 6

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 Oxford University ⓘ
familyName Strachey ⓘ
fieldOfWork computer science ⓘ
denotational semantics ⓘ
programming languages ⓘ
theoretical computer science ⓘ
fullName Christopher Strachey ⓘ
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 (6)

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 ⓘ
Strachey → hasNotableBearer → Christopher Strachey ⓘ