recent posts

typetitleauthorlast post sort icon
Forum topicAlex Stepanov's papers Paul McJones2005-02-28 20:44
Forum topicA paper on the Implementation of Lua 5.0 renox2005-02-28 18:00
StoryProof and Counterexample Ehud Lamm2005-02-28 13:47
Forum topicThe HM system does not have principal typings for all terms Andris Birkmanis2005-02-26 07:26
StoryRDF and Databases Mark Evans2005-02-26 00:01
StoryFunctional Geometry Ehud Lamm2005-02-25 08:53
StoryNick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations Ehud Lamm2005-02-24 16:56
Forum topicProtocol languages Sriram Srinivasan2005-02-24 16:09
Forum topicI am not a number: I am a free variable Andris Birkmanis2005-02-24 08:27
Forum topicSpecial characters' input methods Andris Birkmanis2005-02-24 07:05