typetitleauthorlast post sort icon
Forum topicIs STL algorithms doing damage to the cause? Koray Can2006-02-13 15:17
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
StoryDjinn, a theorem prover in Haskell, for Haskell. shapr2006-01-24 18:58
Forum topicWhat is considered source code? Jonathan Allen2006-01-17 09:26
Forum topicThe breaking point of language usability? raould2005-12-12 15:35
Forum topicExpressivity David B. Held2005-08-11 17:17
Forum topicLanguage support for generating functions? Greg Buchholz2005-07-29 21:08
Forum topicWhy recursing is better than looping johnnyb2005-06-29 20:27
StoryDifferentiating Data Structures Ehud Lamm2005-05-28 15:17
Forum topicCompetitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution Amir Michail2005-05-27 06:17
Forum topicCyc Knowledge Server marco2005-05-19 12:23
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
StoryOn the Unusual Effectiveness of Logic in Computer Science Charles A Stewart2005-04-21 11:14
Forum topicJournals and papers? BigZaphod2005-03-22 17:56
Forum topicCall-by-what? Andris Birkmanis2005-02-21 08:28
Forum topicThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software ade_oshineye2005-02-15 21:26
StoryKiller Props for Computer Scientist! Noel2004-12-18 02:16