Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topicPractical Bits of Making a Compiler for a New Language Eli Sennesh2008-08-05 22:36
Forum topicSystems programming in languages other than C? Gregory Propf2008-08-05 19:58
Forum topicFP in D 2.0 raould2008-07-25 20:49
StoryPractical Set Theory Charles Stewart2008-07-25 09:16
StoryChurch’s Thesis and Functional Programming Chris Rathman2008-07-22 00:14
StoryThe Development of Intuitionistic Logic Charles Stewart2008-07-21 16:40
Forum topicFunctional Programming in the ACM CS Curriculum mwand2008-07-19 22:42
Forum topicAda, the Ultimate Lambda? James Iry2008-07-18 19:56
Forum topicCan reply to a post that one is previewing Charles Stewart2008-07-10 12:38
StoryFunctional Netlists neelk2008-07-10 10:40
Forum topicRequest for participation Ehud Lamm2008-07-03 22:11
Forum topicNew language for kids: Scratch - Logo meets Squeak Smalltalk? Todd Coram2008-06-25 10:08
StoryPure imperative programming Charles Stewart2008-06-22 19:29
StoryApplied Proof Theory: Proof Interpretations and their Use in Mathematics Ehud Lamm2008-06-19 18:43
Forum topicForex trading with functional programming Janzo2008-06-18 06:04
StoryTypes Considered Harmful Chris Rathman2008-06-06 17:06
Forum topicDead-end theorems Ehud Lamm2008-06-03 16:13
Forum topicCategory theory in design jdgallag2008-05-29 15:49
Forum topicsuccinctness Curtis W2008-05-28 19:57
Forum topicDependent Types, Generic Programming and Overloading. Serguey Zefirov2008-05-23 00:35
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryArrows generalise monads and idioms Charles Stewart2008-05-18 12:34
StoryTheory and Practice of Constraint Handling Rules neelk2008-05-13 10:36
StoryArrows, like Monads, are Monoids Jim Apple2008-05-07 14:13
StoryFPH: First-class Polymorphism for Haskell naasking2008-05-07 12:36