| | Topic | Rating | Messages | Author | Date |
 |
|
|
|
|
|
 |
real fp vs. scheme/lisp implicit ordering |
|
50 new of 50 |
Jon Harrop (8 authors) |
7 Dec |
|
PLT Scheme v4.2.3 |
|
2 new of 2 |
Eli Barzilay (1 author) |
1 Dec |
|
Pure language; Term rewriting |
|
2 new of 2 |
Jon Harrop (2 authors) |
28 Nov |
|
Call for Papers: PAPP 2010 (part of ICCS) - Amsterdam, The Netherlands |
|
1 new of 1 |
Marco Aldinucci (1 author) |
27 Nov |
|
Do blocks, monads, and sequences |
|
7 new of 7 |
Dirk Thierbach (4 authors) |
24 Nov |
|
*** Reminder:FACS/LMS Evening Seminar by Prof Mike Gordon: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House |
|
1 new of 1 |
Paul.Boca@googlemail.com (1 author) |
22 Nov |
|
Parallelism and Concurrency |
|
7 new of 7 |
Jon Harrop (2 authors) |
21 Nov |
|
I think linked data structures are very useful, but we seem to have forgotten the overhead involved in using object headers and pointers for explicit ordering. |
|
1 new of 1 |
Casey Hawthorne (1 author) |
19 Nov |
|
Functional programming considered bad for parallelism |
|
23 new of 23 |
Casey Hawthorne (7 authors) |
19 Nov |
|
Call for Papers: IAENG International Conference on Communication Systems and Applications (ICCSA 2010) |
|
1 new of 1 |
IMECS (1 author) |
19 Nov |
|
Job postings for DFG funded typesetting tool for academic texts |
|
1 new of 1 |
mwkuster@googlemail.com (1 author) |
18 Nov |
|
CFP: The First Scala Workshop - Scala Days 2010 |
|
1 new of 1 |
Antonio Cunei (1 author) |
18 Nov |
|
Google's GoLang |
|
9 new of 9 |
Jon Harrop (3 authors) |
15 Nov |
|
SETP-10 Call for papers |
|
1 new of 1 |
James Heralds (1 author) |
15 Nov |
|
Release of version 0.4 of the ULTRA type error slicer for SML |
|
1 new of 1 |
vincent (1 author) |
13 Nov |
|
User defined binders? |
|
3 new of 3 |
Dirk Thierbach (3 authors) |
13 Nov |
|
Call for Papers: IAENG International Conference on Artificial Intelligence and Applications (ICAIA 2010) |
|
1 new of 1 |
WCECS 2009 (1 author) |
12 Nov |
|
CfP: "Multiparadigm Programming" Special Issue of IEEE Software |
|
1 new of 1 |
deanwampler@gmail.com (1 author) |
10 Nov |
|
Lambda calculus for dummies? |
|
3 new of 3 |
Benjamin L. Russell (3 authors) |
9 Nov |
|
cheap nike Air Force one,air force one sneakers,cheap sneakers,nike dunk wholesale,cheap nike dunk,cheap nike air jordan,cheap jordan fusions |
|
1 new of 1 |
nicejordan (1 author) |
4 Nov |
|
UGG Boots wholesale. free shipping. UGG Boots 5225. supply UGG Boots 5230. UGG 5815. |
|
1 new of 1 |
nicejordan (1 author) |
4 Nov |
|
Karachi Pakistan fatimaz-foundation-international Non Government Organization–NGO’s– |
|
1 new of 1 |
dgdfgdg (1 author) |
3 Nov |
|
*** BCS-FACS/LMS Evening Seminar by Prof Mike Gordon, 1 December, London, UK |
|
1 new of 1 |
Paul.Boca@googlemail.com (1 author) |
29 Oct |
|
Erlang best sites for newbees ? |
|
2 new of 2 |
toby (2 authors) |
29 Oct |
|
OCaml: eta-expansion? |
|
4 new of 4 |
Jon Harrop (4 authors) |
28 Oct |
|
want money |
|
1 new of 1 |
golden star (1 author) |
27 Oct |
|
*** extended deadline: FLOPS 2010: Last Call for Papers *** |
|
1 new of 1 |
Matthias (1 author) |
20 Oct |
|
CALL FOR PAPERS: TOOLS EUROPE 2010 |
|
1 new of 1 |
Lorenzo Bettini (1 author) |
17 Oct |
|
FunctionalCLR - A new functional programming language |
|
1 new of 1 |
Sam Huang (1 author) |
17 Oct |
|
**** FACS/BCSWomen Evening Seminar on Software verification for ubiquitous computing, 19 Oct, 6pm, London |
|
1 new of 1 |
Paul.Boca@googlemail.com (1 author) |
13 Oct |
|
