Home » user account

Charles Stewart

typetitleauthorlast post sort icon
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
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicIs Halting Problem Valid for P? ajgargand2008-05-04 23:24
StoryAutomatic Patch-Based Exploit Generation Charles Stewart2008-04-30 06:49
Forum topic2nd Revision of "Thoughts about the Best Introductory Language" shlomif2008-04-27 01:41
Forum topicOn Presenting Operational Semantics cdiggins2008-04-25 21:57
StoryDerivatives and dissections of data types Andris Birkmanis2008-04-23 00:45
StoryComputer Science Education: Where Are the Software Engineers of Tomorrow? Ehud Lamm2008-04-21 22:03
Forum topicProving compositions Hank Thediek2008-04-20 14:05
StoryMechanizing the Metatheory of LF Charles Stewart2008-04-17 21:11
Forum topicFan Programming Language naasking2008-04-16 22:07