The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011. The PRG was founded by...
Orwell is a small, lazy evaluation, functional programming language implemented principally by Martin Raskovsky and first released in 1984 by Philip Wadler during his time as a Research Fellow in the Programming Research Group, part of the Oxford...
Joseph E. Stoy is a British computer scientist. He initially studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford...
Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford. Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England. He studied mathematics at Christ's College,...
ProCoS ("Provably Correct Systems") was a European ESPRIT initiative of two collaborative computer science research projects and a Working Group, with further associated international liaison funding, started in 1989 and ending in 1997. The projects...
Occam is a programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, and shares many of its features. It is named after philosopher William of Ockham, after whom Occam's razor is...
The Research Libraries Group (RLG) was a U.S.-based library consortium that existed from 1974 until its merger with the OCLC library consortium in 2006. RLG developed the Eureka interlibrary search engine, the RedLightGreen database of bibliographic...
A programming language is a formal language designed to express computations, typically supporting the specification of software both for humans and for computers. Execution of a program requires an implementation. There are two main approaches for...
Christopher S. Strachey ( STRAY-chee; 16 November 1916 – 18 May 1975) was a British computer scientist. A pioneer of programming language design, he was one of the founders of denotational semantics and computer time-sharing. He coined several terms...
Peter David Mosses (born 1948) is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group...