HOME

TheInfoList



OR:

Chris Okasaki is an associate professor of
computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
at the
United States Military Academy The United States Military Academy (USMA), commonly known as West Point, is a United States service academies, United States service academy in West Point, New York that educates cadets for service as Officer_(armed_forces)#United_States, comm ...
. He authored ''Purely Functional Data Structures'' (1998), based on a
doctoral dissertation A thesis (: theses), or dissertation (abbreviated diss.), is a document submitted in support of candidature for an academic degree or professional qualification presenting the author's research and findings.International Standard ISO 7144: D ...
of the same name. He obtained a Ph.D. at
Carnegie Mellon University Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania, United States. The institution was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools. In 1912, it became the Carnegie Institu ...
in 1996 under advisers Peter Lee, Robert Harper,
Daniel Sleator Daniel Dominic Kaplan Sleator (born 10 December 1953) is a professor of computer science at Carnegie Mellon University, Pittsburgh, United States. In 1999, he won the ACM Paris Kanellakis Award (jointly with Robert Tarjan) for the splay tree d ...
, and
Robert Tarjan Robert Endre Tarjan (born April 30, 1948) is an American computer scientist and mathematician. He is the discoverer of several graph theory algorithms, including his strongly connected components algorithm, and co-inventor of both splay trees a ...
. Prior to his current academic appointment, he taught at
Columbia University Columbia University in the City of New York, commonly referred to as Columbia University, is a Private university, private Ivy League research university in New York City. Established in 1754 as King's College on the grounds of Trinity Churc ...
and the
University of Glasgow The University of Glasgow (abbreviated as ''Glas.'' in Post-nominal letters, post-nominals; ) is a Public university, public research university in Glasgow, Scotland. Founded by papal bull in , it is the List of oldest universities in continuous ...
.


''Purely functional data structures''

Okasaki published his doctoral dissertation as a book in 1998. It approaches the topic of
data structures In computer science, a data structure is a data organization and storage format that is usually chosen for efficient access to data. More precisely, a data structure is a collection of data values, the relationships among them, and the functi ...
from a
functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declarat ...
perspective, describing techniques for designing
immutable In object-oriented (OO) and functional programming, an immutable object (unchangeable object) is an object whose state cannot be modified after it is created.Goetz et al. ''Java Concurrency in Practice''. Addison Wesley Professional, 2006, Secti ...
structures that incorporate
persistence Persistence or Persist may refer to: Math and computers * Image persistence, in LCD monitors * Persistence (computer science), the characteristic of data that outlives the execution of the program that created it * Persistence of a number, a ma ...
.


References

Living people Carnegie Mellon University alumni Columbia University faculty United States Military Academy faculty Year of birth missing (living people) {{US-edu-bio-stub