16 relations: Cambridge University Press, Computer scientist, Doctor of Philosophy, Functional programming, Graph reduction, Kent Recursive Calculator, Lecture Notes in Computer Science, Middlesex University, Miranda (programming language), Queen Mary University of London, SASL (programming language), Springer Science+Business Media, United Kingdom, University of Kent, University of Oxford, University of Texas at Austin.
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application.
A Doctor of Philosophy degree (often abbreviated Ph.D., PhD, D.Phil., or DPhil) or a Doctorate of Philosophy, from the Latin Doctor Philosophiae, is a type of doctorate awarded by universities in many countries.
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
In computer science, graph reduction implements an efficient version of non-strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated.
KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).
Springer Lecture Notes in Computer Science (LNCS) is a series of computer science books published by Springer Science+Business Media (formerly Springer-Verlag) since 1973.
Middlesex University is a university in Hendon, north west London, England.
Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
Queen Mary University of London (officially abbreviated to QMUL, informally known as QM) is a public research university located in London, United Kingdom, and a constituent college of the federal University of London.
SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM.
Springer Science+Business Media or Springer is a global publishing company that publishes books, e-books and peer-reviewed journals in science, technical and medical (STM) publishing.
The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a sovereign state in Europe.
The University of Kent (formerly the University of Kent at Canterbury, abbreviated as UKC or Cantuar. for post-nominals) is a public research university based in Kent, United Kingdom.
The University of Oxford (informally Oxford University or simply Oxford) is a collegiate research university located in Oxford, England.
The University of Texas at Austin, informally UT Austin, UT, University of Texas, or Texas in sports contexts, is a public research university and the flagship institution of The University of Texas System.