typetitleauthorlast post sort icon
StoryThe Trouble with Erlang Charles Stewart2011-10-14 03:57
Forum topicYield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized gasche2011-09-12 01:22
Forum topicStrange Loop 2011 - Languages galore puredanger2011-06-29 00:10
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
StoryMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Z-Bo2011-03-14 05:47
StoryTractatus Digito-Philosophicus Manuel J. Simoni2011-03-12 23:35
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52
Forum topicWhat is an Actor? Hewitt2011-02-21 02:34
Forum topicHow to Program the Many Cores for Inconsistency Robustness Hewitt2011-02-03 14:26
Forum topicTolerant vs. Demanding Software kclancy2010-12-30 04:44
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
Forum topicInconsistency Robustness 2011 at Stanford Hewitt2010-12-07 14:15
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-08-10 14:23
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-04-02 03:25