DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Christopher Strachey
Christopher Strachey
Part I Background
The Standard Model for Programming Languages: the Birth of A
The London University Atlas
Current Issue of FACS FACTS
The Birth of a Mathematical Theory of Computation
The Discoveries of Continuations
Chiasmic Rhetoric: Alan Turing Between Bodies and Words Patricia Fancher Clemson University,
[email protected]
All Watched Over by Machines of Loving Grace Jean-Louis Giavitto
ATLAS@50 Then and Now
Notation in Natural Language Semantics
Landin-Seminar-2014
Conceptual Computing and Digital Writing
David Link There Must Be an Angel on the Beginnings of the Arithmetics Of
Professor Sir Tony Hoare Interviewed by Dr
Christopher Strachey and the Development Of
Curriculum Vitae
Christopher Strachey
Christopher Strachey and the Development of CPL by Martin Richards the CPL Project
Top View
An Exegesis of Four Formal Descriptions of ALGOL 60
Oral History Interview with Charles Antony Richard Hoare
Continuations: a Mathematical Semantics for Handling Full Jumps
A History of F
Machines Who Think
NRDC and the Case for a British Supercomputer, 1956 – 1960
Towards an Interconnected History of Semantics
Photographs of Strachey 100
Timeline of the MUSE/Atlas Project at Manchester University, 1955 – 1971
The History of Standard Ml Ideas, Principles, Culture
Cambridge Computing
A Foreword to 'Fundamental Concepts in Programming Languages'
Christopher Strachey: Recollections of His Influence
Downloaded on 5 February, 2916 From: Turing-Statua-Manchester Con La Mela.Jpg
Algol 60 @ 60: More on Semantics Presentation (PDF)
A Large Routine
Strachey 100
The Varieties of Programming Language
Computer Conservation Society
Peter Landin: a Computer Scientist Who Inspired a Generation, 5Th June 1930 - 3Rd June 2009 Richard Bornat
The Impact of Alan Turing: Formal Methods and Beyond
Strachey 100
School of Computing
The Turing Test*
The Emperor's Old Clothes
Curriculum Vitae
Issue 2016-2 December 2016 FACS a C T S
Alan Turing and Oxford