Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topicSpam filters Charles Stewart2010-05-19 16:45
StoryThe War on Spam Ehud Lamm2010-05-19 08:51
Forum topicWhat's the name for this model of computation? Matt M2010-05-17 18:55
StoryCode Quarterly - The Hackademic Journal Ehud Lamm2010-05-10 20:44
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
Forum topicHow can C Programs be so Reliable? Manuel J. Simoni2010-04-23 11:54
Forum topichot topics in type theorem Zsolt Szalai2010-04-16 17:36
Forum topicCombinators for contracts Charles Stewart2010-04-16 14:45
StoryCan functional programming be liberated from the von Neumann paradigm? Charles Stewart2010-04-14 20:25
StoryA Formal System For Euclid's Elements neelk2010-04-08 16:57
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-04-02 03:25
StoryLawvere Theories and Monads Charles Stewart2010-03-31 09:10
Forum topicWill data-intensive computing revolutionize programming languages? Peter Van Roy2010-03-30 16:54
Forum topicHistorical question Ehud Lamm2010-02-17 20:06
Forum topicInformation regarding financial crisis Ehud Lamm2010-02-12 16:39
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
StoryContinuity Analysis of Programs neelk2010-02-09 04:12
Forum topicmore consistent macros? raould2010-02-04 11:22
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
Forum topic Colorful dominoes game hides an exercise in propositional logic jasha1232010-01-08 10:29
StoryNo more tail calls in Javascript? Noel2009-12-23 08:32
StoryAn Innocent Model of Linear Logic Anton van Straaten2009-12-19 09:26
Forum topicNaive Question? Definition of "Higher Order" scottmcl2009-12-16 11:56
Forum topicTop rated programming conferences? Tegiri Nenashi2009-12-04 21:48