サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
www.cs.kent.ac.uk
Erlang master classes These three Master Classes in Erlang will show you how Erlang can be used in practice to solve larger problems. We have chosen to give examples that provide 'capstones' for different aspects of Erlang: functional programming, concurrent programming and larger-scale programming with OTP. The master classes are presented by Joe Armstrong, Ericsson AB and KTH, Stockholm, and one
(You may have been redirected to this web page if you were trying to locate material published by a former member of the department.) Staff are asked to provide follow-on email address and web site details using this form so that they can be contacted once they have left the university. This information is listed below (where available). Former staff are encouraged to help us keep this information
The latest public release is JCSP 1.1 Release Candidate 4 (rc4) [5,836,795 bytes]: To download the above release, point at the link and SHIFT-LEFT-CLICK or RIGHT-CLICK. Do not point and LEFT-CLICK - the file is a JAR archive and your browser may to try to execute it! This release is licenced under the Lesser GNU Public Licence, version 2.1 (LGPL 2.1). A copy is included with the distribution, o
Introduction Multicore processors have arrived on the desktop, and developers are beginning to want ways of exploiting this parallelism. The standard locks-and-threads (or monitors and threads) approach is easy to get wrong, and difficult to understand. C++CSP2 is a library that provides easy mechanisms for concurrent C++ programming. The CSP-derived approach is to eliminate sharing of data betwee
[ news | occam-pi | download | documentation | bugs | coming-soon | publications | links ] Occam-pi and KRoC are the result of on-going research extending the (CSP) ideas of occam by judicious inclusion of the mobility features of the pi-calculus. In the interests of proveability, we have been careful to preserve the distinction between the original simple static point-to-point synchronised commun
Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics. Often, refactoring precedes a program modification or extension, bringing the program into a f
According to fable, a hare is a quick way to get from one tortoise to another, and back again -- but we probably got the moral wrong;-). If you think about big, lazy, 150 year-old Galapagos tortoises, you'll agree there's little similarity to your latest and greatest Haskell projects, and as for our HaRe, it doesn't race the full distance yet, and can't deal with all obstacles either. In Aesop's o
Haskell The Craft of Functional Programming Second Edition Simon Thompson Addison-Wesley, ISBN 0-201-34275-8 A third edition came out in June 2011. Resources NEW Various versions of minesweeper in Haskell. Using the book with Helium. You can see a summary of the necessary changes and download the modified code. The preface, which contains details of the changes from the first edition. The contents
Simon Thompson ISBN 0-201-41667-0, Addison-Wesley, 1991. This is now out of print. I had hoped to prepare a revised version before making it available online, but sadly this hasn't happened. So, you can get the original version, warts and all, from CafePress or free from here. Any errata will be gratefully received and added to the list below. Preface (html) Contents and Introduction (PostScript)
Pivotal An interactive, document-centered presentation of Haskell Pivotal is a document-centered presentation of Haskell. It aims to provide a user-friendly environment in which Haskell documents can be interactively developed and manipulated. A Haskell document is essentially an ordinary Haskell module that may also include free-standing Haskell expressions. When a document is displayed, th
Working out why Hugs gives you a particular error message can be tricky. This page pulls together a collection of error messages and the code that produced them; the entry for the error message you have provoked can hopefully help you to diagnose your particular problem. This page shows some code fragments, in red, followed by the error message they provoke, in blue, and an explanation of the sour
The GC Handbook Richard Jones, Antony Hosking, Eliot Moss covers state-of-the-art parallel, incremental, concurrent, and real-time garbage collection. Algorithms and concepts are often described with pseudocode and illustrations. Available as hardback or hyperlink-rich e-book. Second edition CRC 2023. Garbage Collection Richard Jones pools the abundant but disparate literature on the subject of ga
このページを最初にブックマークしてみませんか?
『www.cs.kent.ac.uk』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く