Home » user account

Charles A Stewart

typetitleauthorlast post sort icon
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
StoryIntroducing Comega Dominic Fox2005-01-18 11:38
StoryProcess algebra needs proof methodology Charles A Stewart2005-01-17 20:52
Forum topicIncompleteness in semantics and parallel-or Jacques Carette2005-01-14 03:32
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 topicLittle language for use within Java, suited for users to define "rules" meltsner2004-12-01 03:59
StorySkribe 1.2b released Dave Herman2004-11-22 02:51
Forum topicScheme Language Standardization Process: R6RS Progress Report mwand2004-11-01 20:14
Forum topicGrad School [Master's Programs] tofupup2004-10-31 01:08
StoryProgramming for non-programmers Ehud Lamm2004-10-28 14:03