marco

typetitleauthorlast post sort icon
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
Forum topicDynamic Eager Haskell Greg Buchholz2005-01-19 15:18
Forum topicHM-style type inference with non-unique selectors? ihamsa2005-01-18 18:04
StoryAbsence Ehud Lamm2004-12-25 10:35
Forum topicDefinition of Type cdiggins2004-12-09 11:42
Forum topicWhat's a definition of "type" that beginners can understand? Toby Donaldson2004-12-06 00:33
Forum topicLaszlo - So good, I had to change my underwear andrew cooke2004-10-19 19:05
Forum topicDijkstra on analogies and anthropomorphism Frank Atanassow2004-09-26 13:39
StoryUse real names Ehud Lamm2004-09-24 02:05