Cambridge University Press

0 Comments Leave a Comment

1-15 of 49 // 1 2 3 4 »

About Cambridge University Press

Cambridge University Press (known colloquially as CUP) is a publisher given a Royal Charter by Henry VIII in 1534, and one of the two privileged presses (the other being Oxford University Press). It published its first book in 1584, and has published at least one book every year since then, making it the oldest publishing and printing house in the world. It is both an academic and educational publishing house, a printing factory, and the printer for official documents for the University of Cambridge. Authors published by Cambridge have included John Milton, William Harvey, Isaac Newton, Brian J. Ford and Stephen Hawking. CUP was first exempted from UK Corporation Tax in 1976 (for history, see http://www.akme.btinternet.co.uk/Apdx5.html).

Read More


The Press is now a global organisation with a regional structure operating in the Americas, in UK/Europe/Middle-East/Africa, and in Asia-Pacific. Headquartered in Cambridge UK, the company has warehousing centres in Cambridge, New York, Melbourne, Madrid, Cape Town, São Paulo and Singapore, with offices and agents in many other countries. Its publishing output includes major ELT courses; tertiary textbooks and monographs; scientific and medical reference; professional lists in law, management and engineering; educational coursebooks; and e-learning materials for schools via the Cambridge-Hitachi joint venture. Its publications are aimed at markets worldwide, at all levels from primary school to postgraduate and professional. The Press also publishes Bibles, prayer books, and some 200 academic journals. It has 25,000 authors in 116 countries and issues between 1,500 and 2,000 new titles a year."

  1. Mentioned In 49 Articles

  2. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...0. J-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Tracts in Theoretical Computer Science. Cambridge University Press, 1989. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Confe... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

  3. Amazon.com: Purely Functional Data Structures: Chris Okasaki: Books

    Amazon.com (Jul 7 2008) Explore Article

    ... be used as a tutorial or for self-study. See all Editorial Reviews Paperback: 220 pages Publisher: Cambridge University Press (July 1, 1999) Language: English ISBN-10: 0521663504 ISBN-13: 978-0521663502 Product Dimensions: 8.... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Computer Science   Cambridge University Press

  4. "Scrap Your Boilerplate" Reloaded

    informatik.uni-bonn.de (Jul 5 2008) Explore Article

    ...ennsylvania (2004) 7. Peyton Jones, S., ed.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press (2003) 8. Hinze, R., L¨h, A., Oliveira, B.: “Scrap Your Boilerplate” reloaded. Technical reo p... (Read Full Article)

    Comment on Article Mentions:   Simon Peyton Jones   Haskell   Jeremy Gibbons

  5. Zurg_JFP04.pdf (application/pdf Object)

    College of Engineering (Jul 3 2008) Explore Article

    ...mming, 4, 157–176. Paulson, L. C. (1996). ML for the Working Programmer (2nd ed.). Cambridge, NY: Cambridge University Press. Peyton Jones, S. (2003). Haskell 98 Language and Libraries. Cambridge, UK: Cambridge University Press. Rabhi, F., & Lapalme, G. (1999). Algorithms: A Functional Programming Approach. Harlow, England: A... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Computer Architecture   Simon Peyton Jones

  6. Data.RandomAccessList

    HackageDB (Jun 19 2008) Explore Article

    ...t implementation based on Chris Okasaki's approach on his book "Purely Functional Data Structures", Cambridge University Press, 1998, chapter 9.3. RandomAccessLists are finite lists providing random-access (lookup, update, et... (Read Full Article)

    Comment on Article Mentions:   Chris Okasaki   Cambridge University Press

  7. Pesca

    cs.chalmers.se (Jun 15 2008) Explore Article

    ...for Sequent Calculus Companion to the book Structural Proof Theory by Sara Negri and Jan von Plato, Cambridge University Press, 2001. News. 9/4/2003 PESCA*, an extension of PESCA by Gyrd Brændeland. PESCA* implements a mechan... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press

  8. [pdf] Philip Wadler: The essence of functional programming (1992 paper presenting monads)

    Informatics Homepages Server (Jun 14 2008) Explore Article

    ...orida, January 1991. [LS86] J. Lambek and P. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, 1986. [Mac71] S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1971. [Mog89... (Read Full Article)

    Comment on Article Mentions:   MIT Press   Will Partain   Logic in Computer Science

  9. Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming

    cs.vu.nl (May 28 2008) Explore Article

    .... ACM, St Petersburg Beach, Florida, Jan. 1996. [25] C. Okasaki. Purely functional data structures. Cambridge University Press, 1998. [26] J. Palsberg and B. Jay. The essence of the visitor pattern. In Proceedings 22nd Annual ... (Read Full Article)

    Comment on Article Mentions:   Tony Hoare   Symbolic Computation   Colin Runciman

  10. Exception Handling in Haskell

    Chennai Mathematical Institute (May 21 2008) Explore Article

    ... The Haskell School of Expression: Learning Functional Programming Through Multimedia by Paul Hudak Cambridge University Press (2000) pp 239-240. So far, we have avoided the issue of errors during IO operations. What would ha... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Haskell   Paul Hudak

  11. A Supercompiler for Core Haskell

    www-users.cs.york.ac.uk (May 19 2008) Explore Article

    ...Summer School, 2002. 18. Simon Peyton Jones. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003. 19. Simon Peyton Jones. Call-pattern specialisation for Haskell programs. In Proc. ICFP ’0... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Neil Mitchell   Tony Hoare

  12. A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory

    cs.cmu.edu (May 7 2008) Explore Article

    ...M Press, 2005. [10] S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003. Figure 5 summarizes some preliminary experimental results of our implementation of the conc... (Read Full Article)

    Comment on Article Mentions:   Haskell   Glasgow Haskell Compiler   Simon Peyton Jones

  13. functional implementation in Haskell (postscript)

    eecs.usma.edu (May 6 2008) Explore Article

    J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1 FUNCT I ONAL PEARLS Red-Black Trees in a Functional Setting CHRIS OKASAKI y School of Computer Sc... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Haskell   Chris Okasaki

  14. Category theory - Wikipedia, the free encyclopedia

    Main Page (May 4 2008) Explore Article

    ...esented as a first order theory. Lawvere, William, & Rosebrugh, Robert (2003) Sets for mathematics. Cambridge University Press. Lawvere, William, & Schanuel, Steve (1997) Conceptual mathematics: a first introduction to categor... (Read Full Article)

    Comment on Article Mentions:   Michael Barr   Cambridge University Press   MIT Press

  15. Lambda Calculus

    MacTech Magazine (Apr 29 2008) Explore Article

    ...86. [Révész, 1988] György E. Révész. Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press, Cambridge, England, 1988. [Steele, 1990] Guy L. Steele Jr.. Common LISP the language 2nd edition. ... (Read Full Article)

    Comment on Article Mentions:   Church   Simon Peyton Jones   Henry G. Baker

  16. Monads for Functional Programming

    Informatics Homepages Server (Apr 24 2008) Explore Article

    ... The definition of Standard ML. MIT Press, 1990. 12. L. C. Paulson, ML for the Working Programmer. Cambridge University Press, 1991. 13. E. Moggi, Computational lambda-calculus and monads. In Symposium on Logic in Computer Sc... (Read Full Article)

    Comment on Article Mentions:   Logic in Computer Science   Prentice Hall   Haskell

1-15 of 49 // 1 2 3 4 »
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire