Charles A Stewart

typetitleauthorlast post sort icon
Forum topicRestructuring Partitioned Normal Form Relations Without Information Loss Andris Birkmanis2005-04-27 10:10
Forum topicScript Vs Java RajeshKannan2005-04-25 17:55
StoryOn the Unusual Effectiveness of Logic in Computer Science Charles A Stewart2005-04-21 11:14
Forum topicAccording to Allen Holub programming is now a liberal art. When did this happen? ade_oshineye2005-04-16 22:46
Forum topic2nd CfP: Structures and Deductions Charles A Stewart2005-04-15 15:58
StoryDominus talks about HO Perl Charles A Stewart2005-04-14 23:18
Forum topicPhenomenology of Languages and Language Design sridhar_v132005-04-11 11:35
Forum topicEmbedding one language in another sudarshan2005-03-24 19:10 Charles A Stewart2005-03-22 19:59
Forum topicJournals and papers? BigZaphod2005-03-22 17:56
Forum topicBest Common Lisp IDE? ydewit2005-03-22 10:28
Story A Tutorial on Proof Theoretic Foundations of Logic Programming Ehud Lamm2005-03-21 08:30
StoryA New Approach to Abstract Syntax with Variable Binding Dave Herman2005-03-17 08:42
StoryInterview with Donald Knuth Chris Rathman2005-03-16 07:37
Forum topicOpen problems in category theory and computing science Dustin Mulcahey2005-03-09 20:08
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
StoryFunctional Geometry Ehud Lamm2005-02-25 08:53
Forum topicProtocol languages Sriram Srinivasan2005-02-24 16:09
Forum topicCall-by-what? Andris Birkmanis2005-02-21 08:28
StoryBarbara Partee: Reflections of a Formal Semanticist as of Feb 2005 Ehud Lamm2005-02-18 00:29
StoryThe Little JavaScripter Ehud Lamm2005-02-14 01:36
Forum topicWikicities Charles A Stewart2005-02-10 11:04
StoryThe Church Project Andris Birkmanis2005-02-09 11:25
Forum topicGCC Wiki Chris2005-02-05 22:17