Richard O'Keefe
Encyclopedia
Dr Richard A. O'Keefe is a computer scientist
, currently working in Department of Computer Science at the University of Otago
in Dunedin
, New Zealand
.
He concentrates on languages for logic programming
and functional programming
(including Prolog, Haskell
, and Erlang
). O'Keefe published well known and influential book on Prolog programming: The Craft of Prolog (ISBN 0-262-15039-5).
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, currently working in Department of Computer Science at the University of Otago
University of Otago
The University of Otago in Dunedin is New Zealand's oldest university with over 22,000 students enrolled during 2010.The university has New Zealand's highest average research quality and in New Zealand is second only to the University of Auckland in the number of A rated academic researchers it...
in Dunedin
Dunedin
Dunedin is the second-largest city in the South Island of New Zealand, and the principal city of the Otago Region. It is considered to be one of the four main urban centres of New Zealand for historic, cultural, and geographic reasons. Dunedin was the largest city by territorial land area until...
, New Zealand
New Zealand
New Zealand is an island country in the south-western Pacific Ocean comprising two main landmasses and numerous smaller islands. The country is situated some east of Australia across the Tasman Sea, and roughly south of the Pacific island nations of New Caledonia, Fiji, and Tonga...
.
He concentrates on languages for logic programming
Logic programming
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
and functional programming
Functional programming
In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state...
(including Prolog, Haskell
Haskell (programming language)
Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a first-class citizen" of the programming language. As a functional programming language, the...
, and Erlang
Erlang programming language
Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system. The sequential subset of Erlang is a functional language, with strict evaluation, single assignment, and dynamic typing. For concurrency it follows the Actor model. It was designed by Ericsson to...
). O'Keefe published well known and influential book on Prolog programming: The Craft of Prolog (ISBN 0-262-15039-5).