typetitleauthorlast post sort icon
Forum topicPure bigraphs: structure and dynamics (by Robin Milner) shahbaz2005-06-12 06:46
Forum topicToday's Status of Functional Programming Languages for Verification Tools ? Dmitri Kondratiev2005-06-06 11:54
StoryJudy Stores Mark Evans2005-06-04 13:44
Forum topicWhat is so bad about compiling? Hank Thediek2005-06-03 15:44
Forum topicShort examples of complex use of state? neelk2005-06-01 19:44
StoryParameterized Unit Tests Ehud Lamm2005-05-27 01:31
Forum topicBest route for new language to be self-hosting Morris Johns2005-05-25 02:47
Forum topicFirst public release of PyPy Dave Benjamin2005-05-22 08:52
Forum topictail recursion rmalafaia2005-05-21 01:33
Forum topicCyc Knowledge Server marco2005-05-19 12:23
StoryRelating FFTW and Split-Radix Ehud Lamm2005-05-14 18:17
Story subtext: Uncovering the simplicity of programming Ehud Lamm2005-05-12 20:49
Forum topicLinks Philip Wadler2005-05-07 10:23
Forum topicVirtual Machine and Runtime Framework Nicolas Cannasse2005-04-29 13:41
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
Forum topicChemistry, Graph Tranformation and Programming Languages gmol2005-04-25 18:22
Forum topicHouse , hOp - the Haskell Operating System shapr2005-04-21 11:32
StoryOn the Unusual Effectiveness of Logic in Computer Science Charles A Stewart2005-04-21 11:14
StoryFold Must Fold! Noel2005-04-02 03:13
Forum topicHalting program density? Greg Buchholz2005-03-23 15:27
Forum topicJournals and papers? BigZaphod2005-03-22 17:56
StoryProof and Counterexample Ehud Lamm2005-02-28 13:47
Forum topicA question for the theory guys Klaus Ostermann2005-02-06 16:15
Forum topicAvoiding worst case GC with large amounts of data? James Hague2005-02-04 17:45
Forum topicNeologism John Stracke2005-02-04 13:37