Members of Oxford University Computing Laboratory
"The Emperor's Old Clothes" -- Hoare's 1980 ACM Turing Award speech, which discusses ALGOL history and his involvement
DBLP List of Publications uni trier indices tree
DBLP: A. W. Roscoe
Laboratory Home Page web lab people bill roscoe
Bill
Roscoe
Oxford University Computing Laboratory home page — Emeritus Professor of Computing
Tony
Hoare
Microsoft home page — short biography
Tony Hoare
"Category Theory" in ''Stanford Encyclopedia of Philosophy'' plato stanford entries category theory
Category Theory
Virtual Museum of Computing
The Virtual Museum of Computing
Formal methods information homepages cliff jones home formal
Prof Cliff Jones
Personal home page homepages cliff jones
Cliff Jones
Publications research pubs authors
Publications by
Cliff
Jones, Computing Science, University of Newcastle
Official home page people home
Cliff Jones, Computing Science, University of Newcastle upon Tyne
Staff page at Middlesex University staff profiles
School of Computing Science - Staff Profile
Staff page at the University of Kent at Canterbury kent people staff
Computer Science: Prof DA Turner
The Potrzebie System of Weights and Measures gif
Videos of presentations w/ Donald Knuth stanford knuth
SCPD - Donald E. Knuth
Donald Knuth: Leonard Euler of Computer Science (Softpanorama) people knuth
Nikolai Bezroukov. Portraits of Open Source Pioneers. Ch.2 Donald Knuth:
Leonard Euler of Computer Science
Long biography of Knuth www gap and mathematicians knuth
Knuth
The Stanford home page of Donald Knuth www faculty stanford
Don Knuth's Home Page
He Jifeng home page
Home page of Prof. He Jifeng
Managing the Construction of Large Computerized Systems – article
ETH - Computer Science -
Prof. Jean-Raymond Abrial
Review of ''The B-Book'' publications
Review for the THES: The B-Book
www.froola.com - forget the rest. Members_of_Oxford_University_Computing_Laboratory
Publications uni trier indices tree
DBLP: Jean-Raymond Abrial
Home page people faculty
ETH - Computer Science -
Detailview
OUCL home page web lab work jim woodcock
Jim Woodcock - Home Page
Publications www users york publications pubs all
UML
Personal home page www users york
Jim Woodcock
Official home page york people
University of York - Computer Science - Jim Woodcock
Research interests web lab work joe
Joe Stoy
DBLP bibliography uni trier indices tree
DBLP: Jonathan P. Bowen
Publications publications
Publications by Prof. Jonathan P. Bowen
www.froola.com never sleeps.
Next page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
ALGOL , Bill Roscoe , C. A. R. Hoare , Category theory , Christopher Strachey , Cliff Jones , David Turner (computer scientist) , Donald Knuth , He Jifeng , Jean-Raymond Abrial , Jim Woodcock , Joe Stoy , Jonathan Bowen , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Members of Oxford University Computing Laboratory".