recent posts

typetitleauthorlast post sort icon
Forum topicWhy Dependent Types Matter Daniel Yokomizo2005-04-24 09:20
StoryAda 2006 Documents Ehud Lamm2005-04-21 20:45
Forum topicConstructing Sequent Rules for Generalized Propositional Logics Andris Birkmanis2005-04-21 18:05
Forum topicQi 6.1 released Tayssir John Gabbour2005-04-21 17:24
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
Storyjhc Ehud Lamm2005-04-20 18:14
StoryXJ - XML Enhancemets for Java andrew cooke2005-04-20 18:07
Forum topicEncodings (wikipedia) David Teller2005-04-20 11:42
StorySemantic Streams: a Framework for Declarative Queries and Automatic Data Interpretation Ehud Lamm2005-04-20 11:03